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?