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

elextr notifications at xxxxx
Sun Nov 7 11:35:34 UTC 2021


> I wouldn't say it is "my" plugin, I just wrote it initially :D.

By owner I mean maintainer.

> Heh, the best reason to not break it: Lex is using it :D

Is there some other reason? ;-P

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 it so the settings can be fixed.

-- 
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-962594463
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211107/7a2c9754/attachment-0001.htm>


More information about the Github-comments mailing list