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

xiota notifications at xxxxx
Sat Oct 30 14:00:53 UTC 2021


> Well that would make it the only UI element that behaved that way.

The menubar could save state by default (to make devs happy).  But I'm reasonably sure someone (who isn't me) would open an issue (shortly after it becomes available in package repositories) to hide the menu on startup if it isn't made available.  Then another PR would be needed in another five years.

There are other settings/behaviors that reset on restart.  And no one has to enable options they don't want.

> It is better for similar functions (in this case setting UI layout, eg show/hide message window or sidebar or "additional widgets" and now menubar) to behave the same way...

The toolbar, message window, status bar, etc can be shown/hidden and left that way.  But occasional access to the menu is needed to access Geany functions.  For a user who wants the menu hidden, it would be an annoyance to have the menubar visible at startup because it wasn't rehidden after previous use.  (Autohide... but will leave that for a different PR.)

> ... the users can generalise behaviour rather than having to remember that feature X behaves differently.

In this case, it's a setting that the user would have explicitly set.  If they can't remember that, they have greater problems.

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


More information about the Github-comments mailing list