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)