Re: [Github-comments] [geany/geany] Preference option: main window decorations (#283)