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?

I think it should be implemented only in one plugin, whichever fits best.

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?

geany/geany-plugins#1123 GeanyLua: Update glspi_sci.h
-> is active

geany/geany-plugins#1122 Project Organizer: Set header filetype to match source filetype
-> is in discussion if appropriate at all, otherwise @techee is usually quite responsive

geany/geany-plugins#1112 GeanyLua: Enable running scripts for all signals
-> is also for GeanyLua which is orphaned according to MAINTAINERS but you nominated a new maintainer yourself :D

geany/geany-plugins#1111 Markdown: Restore scrollbar position for webkit2gtk
-> not sure about that, @codebrainz didn't appear for some time but this might change again, hopefully

—
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.