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

[elextr]

> The use case for this feature I had in mind was to just get quickly to the right symbol in the tree and navigate to it and not really having the tree filtered permanently (and having to manually clear it later).

Ahh, so its a search facility, not really a filter.  Would be good, the current search is useless unless you happen to want the first occurrence.

So as a search then yeah it should go away on loss of focus really.

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