[Github-comments] [geany/geany] Filter for symbol tree - improved version (PR #3055)

[Jiří Techet]

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

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3055
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211213/602e7deb/attachment.htm>