Hi,
I made a PR: https://github.com/geany/geany/pull/189 It's not a big deal, but might come handy for some. What do you think? _______________________________________________ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
