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