@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, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.