[geany/geany-plugins] 375449: Merge pull request #710 from LarsGit223/wb-issue709