Still thinking a bit about the symbol tree - it would be nice not to have a separate tab that users have to switch to. What about: - allowing the plugin to access the GtkTreeView of the symbol tree so it can put whatever it wants there - have some "filter-modified" event so the plugin knows when the filter changed - plus the corresponding `_provided()` function to disable Geany's normal symbol tree update
In theory this should be all it's needed but something else may appear during implementation. How does it sound? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3849#issuecomment-2156175699 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3849/[email protected]>
