gnome-terminal mantiene la barra dei menu anche quando il profilo è configurato per nasconderlo

Sto eseguendo gnome classic su 11.10 e anche se ho configurato il profilo gnome-terminal per nascondere la barra dei menu, lo mostra.

Anche quando apro gnome-terminal --hide-menubarmostra la barra dei menu.

Qualche idea su come risolverlo?

Ho anche usato gconf-editor per vedere se c'è un problema con il profilo ma ha il parametro per mostrare la barra dei menu di default in false.

11.10 gnome-terminal

— feniix
fonte

Questo non risolve il tuo problema, ma puoi sempre usare xterm se non ti piace il menu.

— bntser,

grazie @bntser ma mi piace molto gnome-terminal, e se dovessi usare un altro terminale userei roxterm o eterm :)

— feniix

Questo è molto fastidioso. Ho trovato una segnalazione di bug per questo problema qui bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/875070

— Naveed

Ho anche usato gconf-editor per vedere se c'è un problema con il profilo, ma ha il parametro per mostrare la barra dei menu di default in false. Forse posso aiutarti.

Nel mio caso era correlato all'eliminazione del menu "modifica mac-ish" / modifica / visualizzazione / ... in alto dopo l'installazione di gnome?

Quando ho spostato la barra superiore con Alt + Right click(ad esempio sul lato destro dello schermo), è stata visualizzata una barra dei menu aggiuntiva nella parte superiore dello schermo. Probabilmente era nascosto sotto la barra in alto che mi ero allontanato.

Dopo l'esecuzione sudo apt-get remove appmenu-gtk3 appmenu-gtk appmenu-qte un riavvio ha gnome-terminal --hide-menubarfunzionato di nuovo :-)

— Pim van den Berg
fonte

Grazie, mi ha fatto a pezzi da quando aggiorno a gnome 3.

— El Yobo l'

Basta confermare che ha funzionato in sessione cairo-dock con gnome-panel caricato manualmente (da gnome-session-fallback) che non ha una barra dei menu.

— animaletdesequia,

Eccellente! Funziona l'11.10!

— v2r,