Le 02/01/2019 à 09:35, Alessandro Renzi a écrit :
Thanks Colomban !!! In the meantime I will go on with Geany 1.32 :-)
1.33 should work as well.
I opened https://github.com/geany/geany/pull/2032 with a fix. If you care to build Geany yourself, you can test it.
Regards, Colomban