Re: [Geany-devel] [PATCH] reenable save after file changed on disk