To clarify my post above, I have tested that the change does NOT cause any problems in Geany. Since plugins can be disabled, if it causes any problems with a plugin 1) the user can blame the plugin 😁 and disable it 2) the plugin writer can supply a PR to fix the problem 3) after that is tested to not cause problems in Geany and applied 3) the user can re-enable the plugin. (repeat until plugin works)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.