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 --
* Filter symbols in the Symbol List (new feature) * Merge branch 'tagfilter' of https://github.com/dmitryunruh/geany into dmitryunruh-tagfilter * Simplify the filtering code a bit and follow Geany style * Make tag filtering case-insensitive * Add search icon to the entry * Perform filtering in full name with scope * Clear symbol tree before filtering to ensure it's fully re-created * Focus the tree when pressing enter in the search entry * Use per-document filter for symbol tree
-- File Changes --
M data/geany.glade (45) M src/callbacks.c (44) M src/callbacks.h (6) M src/document.c (2) M src/documentprivate.h (2) M src/symbols.c (42)
-- Patch Links --
https://github.com/geany/geany/pull/3055.patch https://github.com/geany/geany/pull/3055.diff