[Github-comments] Re: [geany/geany] Add option and keybinding to hide menubar (PR #2972)