Description of problem:
Previous version of gnome-terminal would remember that you selected not to
show the menubar. Now even if you shut off the menu and then right clicked
to open a new terminal, the new window will have the menu displayed.
This is even true if the gnome-shell is initially stared with a
"--hide-menubar" option. Although the initial window will not have a menubar
the subsequently launched windows do.
Version-Release number of selected component (if applicable):
Steps to Reproduce:
1. Launch gnome-terminal --hide-menubar
2. Right click on the window and select Open Terminal
The new window will have a menubar
The new window would not have a menubar. In previous versions you could
select for gnome-terminal to never show a menubar unless you reselected it.
I can confirm this behaviour as well. As a temporary fix, one can go into dconf-editor and then under org.gnome.terminal.legacy, uncheck the "default-show-menubar" value.
This bug bugs me too, but thankfully the workaround mentioned by Steve worked great!
Wouldn't it be more convenient if the menubar option is stored in the terminal profiles. A entry in the profile preferences could then be added rather then messing around with dconf-editor.
The checkbox was there, but they removed it.
Or, actually, here's how it works... They split off a few preferences away
from the profile preferences. So now you have what's in profile, and
the "Preferences". That includes a checkbox "Show menubar by default in
new terminals". It works just fine. HOWEVER, the problem is, Preferences
are only linked off the Edit menu, which is not available if menubar is
So, the workaround is:
- Open terminal
- Show menubar (don't worry, it only happens in this vindow)
- Edit->Preferences->General, uncheck "Show menubars by default"
- Uncheck "Show menubar"
Same effect as Steve's workaround.
Re Comment #5: At the time I though I looked in all the sub-menus, but clearly
it is there now. Why there is a distinction made between "Preferences" and
"Profile Preferences" is beyond me. Thanks.
(In reply to Barry Fishman from comment #6)
> Why there is a distinction made between "Preferences" and
> "Profile Preferences" is beyond me.
Profile Preferences is for things that belong to profiles, Preferences is for things that don't. You may have multiple gnome-terminal tabs, each with a different profile (i.e. different colors, font, encoding etc.). It would be a terrible user experience if the menu appeared/disappeared when changing tabs (especially since the menubar is above the tab bar), that's why it's not a profile preference. I hope this makes sense.
(In reply to Egmont Koblinger from comment #7)
> ... It would
> be a terrible user experience if the menu appeared/disappeared when changing
> tabs (especially since the menubar is above the tab bar), that's why it's
> not a profile preference. I hope this makes sense.
Not really. First the terminology is bad. Then the idea that the existance of menubars is independent of a profile (which are really application defaults) is illogical. Seperating out menubars mean that the state of menubars you last selected is either ignored on the next launch of the application or used irrespective of any profile selected.
I can see having multiple profiles and having a specific profile selected to be used the next time the application starts. But I don't see why menubars are particularly special.
The fact that you now tell me that these settings can change between tabs, I find even more unsettling. :-(
(In reply to Barry Fishman from comment #8)
> First the terminology is bad.
Which terminology? And why?
> Then the idea that the existance
> of menubars is independent of a profile (which are really application
> defaults) is illogical.
Why is it illogical?
What makes you think profiles are application defaults? They are not. I have a feeling you don't get the idea what profiles are for.
> The fact that you now tell me that these settings can change between tabs, I
> find even more unsettling. :-(
Wow, did it surprise you that if you have two tabs with different profiles then the profiles change when you switch tabs? If so then you really don't get what profiles are. ;)
What is your use case? How do you use gnome-terminal? Do you use profiles, if so then how? Do you keep changing the menubar visibility? If yes, when and why? Do you keep changing the default visibility of the menubar (for new windows)? If yes, again: why?
I would think that the menubar is something that a user either wants to see all the time, or never. Configure once and live on with that setting. I'd be curious to understand the reasons if it's not the case for you.
(In reply to Egmont Koblinger from comment #9)
I should have just stated that the bug has been resolved, and this is not the place for a discussion of interface decisions.
Marking as closed per original requestor's comment #10.
Also, verified in