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