[geany/geany-plugins] 05ddb1: Merge pull request #715 from LarsGit223/wb-dbgmsg1