I'll take a look at codenav. I've been using a modified version of project organizer.

If it's a feature that belongs/ends up in multiple plugins that people might want to use together, should it be something that Geany itself would handle? So that plugins are not interfering with each other?

Also, I have some plugin PRs that I haven't heard from anyone about. How long should I wait before pinging the maintainers again? Or if they've gone MIA, how to move forward?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.