[Github-comments] [geany/geany] Filter symbols in the Symbol List (new feature) (#2657)

[Jiří Techet]

@dmitryunruh I'd love to see this feature in Geany!

@eht16 @elextr What do you think about this feature? Personally I'd love to be able to filter the symbol tree in a similar way like the plugins list. Also, the patch is quite tiny and limited in scope so it shouldn't introduce any problems.

I had a look at the patch and apart from some style changes it seems to do the right thing in principle (I could do a proper review if there's an interest in this feature). The searchbar is currently placed directly above the symbol tree without anything and it might look better if it were placed inside a panel or something so there's something around it. It might also be better to perform case-insensitive filtering, but these are just minor points.

I created #3015 to address a minor problem where the tree didn't get re-constructed right after cancelling the search.



-- 
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/2657#issuecomment-990070033
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211209/b11367c3/attachment.htm>