Re: [Github-comments] [geany/geany] Double title bar (#1729)