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

[Jiří Techet]

@techee pushed 1 commit.

36bcb875ceaa3f2f02a083138e269ad99e926274  Add documentation about the filtering feature


-- 
View it on GitHub:
https://github.com/geany/geany/pull/3055/files/79c220597a2a888b6a206df58782c22d4ba5f1cc..36bcb875ceaa3f2f02a083138e269ad99e926274
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3055/push/8798812304 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220110/e4cb35dd/attachment.htm>