[Github-comments] [geany/geany] Add option to show symbols in symbol tree without root groups (PR #3172)

Thomas Martitz notifications at github.com
Sun Apr 17 20:44:19 UTC 2022


I wonder why the single "Symbols" root row is needed? It seems superfluous and adds a level of indentation.

The document tab with "Documents only" option avoids this and I think it's preferable.

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

Message ID: <geany/geany/pull/3172/c1100946587 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220417/5fdec10e/attachment.htm>


More information about the Github-comments mailing list