I took the symbol tree filtering implementation from #2657 and applied some of the suggested changes on top of it:
- made the filter entry per-document
- made filtering case-insensitive
- cleared the symbol tree completely when filtering to ensure it's fully re-created
- filtering using full tag name including scope
- focusing the symbol tree after pressing enter in the search entry
What do you think?
You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/3055
Commit Summary
- 2f19207 Filter symbols in the Symbol List (new feature)
- ab516a7 Merge branch 'tagfilter' of https://github.com/dmitryunruh/geany into dmitryunruh-tagfilter
- a0a3368 Simplify the filtering code a bit and follow Geany style
- e6e3708 Make tag filtering case-insensitive
- ea536a5 Add search icon to the entry
- 8521c49 Perform filtering in full name with scope
- 90783d7 Clear symbol tree before filtering to ensure it's fully re-created
- 6d15079 Focus the tree when pressing enter in the search entry
- fc7c232 Use per-document filter for symbol tree
File Changes
(6 files)
Patch Links:
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.