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 [email protected] https://lists.geany.org/cgi-bin/mailman/listinfo/devel
