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 :grin: 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 or view it on GitHub: https://github.com/geany/geany/pull/1829#issuecomment-390371934
