Behaves mostly like the symbol tree filter.
<img width="352" alt="Screenshot 2025-01-19 at 20 59 42" src="https://github.com/user-attachments/assets/42b7e64f-5b34-4770-9702-f709bd272...; />
Fixes #3078 You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/4210
-- Commit Summary --
* Set GtkTreeModelFilter as a model for document tree * Move code for selecting document in sidebar to sidebar.c * Add code for filtering document tree
-- File Changes --
M data/geany.glade (43) M src/callbacks.c (31) M src/callbacks.h (6) M src/document.c (8) M src/sidebar.c (201) M src/sidebar.h (6)
-- Patch Links --
https://github.com/geany/geany/pull/4210.patch https://github.com/geany/geany/pull/4210.diff