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

[Jiří Techet]

> The stuff from Fix setting parents in symbol tree when filtering is used #3050 should only be applied when filter changes

Or, to avoid making the code more complicated in the tree update function, just to remove everything from the tree when filter changes and get the whole tree re-populated. The main purpose of the complicated code in the symbol tree update function is to avoid scrolling when a change is made in editor but when applying filter, this will happen anyway because the changes in the tree are big.

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