Re: [Github-comments] [geany/geany-plugins] workbench: auto-save project on change (#877)