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

[Jiří Techet]

> Every time something is merged without documenting it "because there is nothing in the manual at the moment" is another time the manual becomes more useless to users.

I was just asking, I can write something if desired. I just haven't found any place where I should put it and none of the items in the right-click menu in symbol tree is documented either right now. The searchbar in the plugin manager isn't documented either.

I'm not sure if documenting obvious things like filtering just doesn't add noise to the documentation without any real value. 

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3055#issuecomment-1008173324
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3055/c1008173324 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220108/5c2ac6cf/attachment-0001.htm>