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

Enrico Tröger notifications at xxxxx
Sun Nov 7 12:21:28 UTC 2021


> Back to the topic, the real problem with hiding the menu is when someone does it accidentally and doesn't know how to get it back. If it was a unbound toggle keybinding I think its fine, the user has to set something to enable it and hopefully will remember their keybinding.
> 
> But the "hide on startup" option does not work that way. Once its set the menu always starts hidden, and then without the menu its then very hard to discover how to bring it back. Thats why I suggested that this option needs to be in a plugin so its somewhat protected and starting Geany with `-p` will mean the plugin won't be loaded and won't hide the menu so the settings can be fixed.

Got it.
Though I don't think it makes much difference if the accidentaly hidden menu bar can be restored by deactivating plugins or by discovering the keybinding. Both ways require the user to take action and to read the documentation or ask for help.

I agree that the  "hide on startup" option is not necessary. If implemented with a keybinding, a menu item in the View menu
and an option in the preferences dialog (on the Interface tab, not as Various pref), then it is more visible and via the preferences dialog easier to show the menu bar again. And it is in line with the other show/hide options for Toolbar, Sidebar and Message Window.

We could even add a FAQ item to explain how to restore the menu bar.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2972#issuecomment-962600977
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211107/90ccffee/attachment.htm>


More information about the Github-comments mailing list