[Github-comments] [geany/geany-plugins] workbench: save settings immediately (#868)