[Github-comments] [geany/geany] Filter symbols in the Symbol List (new feature) (#2657)

Dmitry Unruh notifications at xxxxx
Fri Nov 13 20:28:27 UTC 2020


It adds an entry field at the top of the symbol list to filter this list.

The text of the entry field divides into parts with a space symbol. A symbol of the symbol list (tag) must contain each of these parts to be shown in the filtered list. Filtering applies immediately during changing the text of the entry field.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/2657

-- Commit Summary --

  * Filter symbols in the Symbol List (new feature)

-- File Changes --

    M data/geany.glade (43)
    M src/callbacks.c (16)
    M src/callbacks.h (4)
    M src/symbols.c (28)

-- Patch Links --

https://github.com/geany/geany/pull/2657.patch
https://github.com/geany/geany/pull/2657.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2657
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20201113/50133f24/attachment-0001.htm>


More information about the Github-comments mailing list