Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)