[geany/geany-plugins] f32def: Merge pull request #862 from LarsGit223/gnb-gtk3