Re: [Github-comments] [geany/geany-plugins] geanyvc: incorrect enabling/disabling of menu/editor items (#741)