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

Jiří Techet notifications at xxxxx
Thu Jan 6 17:15:37 UTC 2022


@techee pushed 3 commits.

f359765a499c40581085b4cc34e072d852e66434  Avoid sidebar_update_tag_list() called twice when using filter
23de061a822c65d695b511c39cf3bc8b49087376  Avoid console warning about invalid tag store
79c220597a2a888b6a206df58782c22d4ba5f1cc  Mention the possibility to use more filters separated by space in tooltip


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

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


More information about the Github-comments mailing list