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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.