Re: [Github-comments] [geany/geany-plugins] workbench: use simple/old file monitor events only (#719)