Re: [Github-comments] [geany/geany] Add cast to `GtkWidget*` to match previous behaviour (#1607)