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

elextr notifications at xxxxx
Sat Jan 8 21:36:48 UTC 2022


Ok, so we have abandoned the manual then?  (This is not directed at @techee specifically, it is a general question, a number of recent changes have not been documented, but then thats what the code is for, right?)

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.

[end grumpy]

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

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


More information about the Github-comments mailing list