[geany/geany-plugins] 109166: Merge pull request #601 from LarsGit223/workbench