gnome-terminal utrzymuje pasek menu nawet wtedy, gdy profil jest skonfigurowany do ukrywania go

Korzystam z gnome classic 11.10 i chociaż skonfigurowałem profil terminala gnome, aby ukryć pasek menu, który pokazuje.

Nawet gdy otworzę gnome-terminal --hide-menubar, pokazuje pasek menu.

Masz pomysł, jak to rozwiązać?

Użyłem nawet edytora gconf, aby sprawdzić, czy występuje problem z profilem, ale ma on parametr domyślnie wyświetlający pasek menu w ustawieniu false.

11.10 gnome-terminal

— feniix
źródło

To nie rozwiązuje twojego problemu, ale zawsze możesz użyć xterm, jeśli nie podoba ci się menu.

— bntser

dzięki @bntser, ale naprawdę lubię gnome-terminal, a gdybym miał użyć innego terminala, użyłbym roxterm lub eterm :)

— feniix 14.10.11

To bardzo denerwujące. Znalazłem raport o błędzie dotyczący tego problemu tutaj bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/875070

— Naveed

Użyłem nawet edytora gconf, aby sprawdzić, czy jest problem z profilem, ale ma on parametr domyślnie wyświetlający pasek menu w false. Może mogę ci pomóc.

W moim przypadku było to związane z menu Eliminuj górny plik „mac-ish” / edit / view / ... po zainstalowaniu gnome?

Kiedy odsunąłem górny pasek z Alt + Right click(na przykład po prawej stronie ekranu), dodatkowy pasek menu pojawił się na górze ekranu. Prawdopodobnie był ukryty pod górnym paskiem, który odsunąłem.

Po uruchomieniu sudo apt-get remove appmenu-gtk3 appmenu-gtk appmenu-qti ponownym uruchomieniu gnome-terminal --hide-menubarzadziałało ponownie :-)

— Pim van den Berg
źródło

Dzięki, to mnie wykuwało od czasu aktualizacji do gnome 3.

— El Yobo

Po prostu potwierdź, że działał on w sesji Cairo-dock z ręcznie załadowanym panelem gnome (z gnome-session-fallback), który nie ma paska menu.

— animaletdesequia

Doskonały! Działa na 11.10!

— v2r