What will happen to "hide menubar" options after Application menus will be deprecated in GNOME 3.32?
After hiding menubar in the preferences, I can access them (and re-enable menubar) through the shortcut in application menu.
If application menus are to disappear in GNOME 3.32 (is this an effect of Purism lobbying, happening because app menus are part of a paradigm that is difficult to implement in their mobile adaptations? I really hope the people who pushed this change will produce an extension to restore them for people accustomed to have a per-app global menu), one can't access preferences anymore, so will gnome-terminal adopt an headerbar as a solution to this, would use something enough counterintuitive as a shortcut (like it happens, if I remember well, on
lxerminal) or will entirely remove this useful feature?
I use the pixel saver extension, that hides non-headerbar windows when maximized, show titlebars in gnome-shell top panel. If an headerbar is on its way, it would not be hidden by pixel saver (which still works on non-headerbar xwayland windows on wayland), so I would not in any case be able to maximize terminal content, am I right?
I think this would apply on other GNOME apps that at the moment do not use headerbars, like
Thanks in advance, tallero.