[Github-comments] Re: [geany/geany-plugins] GeanyLua: Fix geany.activate() (PR #1234)