[geany/geany-plugins] 891407: Merge pull request #847 from techee/excmd_history