Re: [Github-comments] [geany/geany-plugins] GeanyLua: Add geany.settype() (PR #1157)