Re: [Github-comments] [geany/geany] Interface: Add GTK3 Headerbar support (GUI refresh) (#2061)