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-f709bd272612"
 />


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

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/4210
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/4...@github.com>

Reply via email to