Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filter top menu #1731

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Conversation

jannisCode
Copy link
Contributor

@jannisCode jannisCode commented Oct 22, 2024

What it does

This PR changes the Button which was added to the top bar #1671 to a drop-down-menu like the history.
image
When clicking the filter icon, it opens a Filters Dialog, just like normal, when clicking on the arrow, a new Menu opens in which one can change the filters.
image
When hovering over the filters icon, a tooltip tells you which filter is currentliy active

Important

If #1730 is a change worth considering, and will be merged, the code from this PR has to be adapted to the new, more adaptable code from #1730. If that is the case, please let me know, then I can change it.

Author checklist

@jannisCode jannisCode force-pushed the filter_top_Menu branch 3 times, most recently from 50fe9eb to 4b7d072 Compare October 22, 2024 12:01
The filter button in the Call Hierarchy now has the option to expand a
menu where one can switch between the filters

eclipse-jdt#1731
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant