Menus não mostrando no Terminal Gnome em 14.04

Question

Meu terminal do gnome parou de mostrar as barras de menu quando eu passei o mouse sobre a barra superior. Não sei por que isso está acontecendo. Eu fiz uma atualização completa ( apt-get update; apt-get dist-upgrade ) e, em seguida, reiniciei, mas isso não fez nada. Eu até tentei mudar meu shell para ver se algo no meu perfil estava causando esse comportamento, mas isso não funcionou também. Isso é um bug, ou eu tenho algo errado?

Outro erro que apareceu mais ou menos na mesma época é que, quando em tmux pressionando Ctrl + P , o ^P é gravado no terminal . Esses dois erros podem estar relacionados? Depois de redefinir as configurações do meu terminal gnome, esse problema ainda existe, portanto, não está relacionado.

    

Answer 1

Descobri que excluir (ou mover no meu caso) a configuração do terminal do gnome localizada em ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml e reinicializar faz com que o menu reapareça. Eu postei minha configuração aqui para quem estiver interessado (a linha 6 comentada foi a causa do problema).

Não tenho certeza de como consegui a configuração no conjunto da linha 6. Olhando para a caixa de diálogo de configurações do terminal do gnome, não há nada que eu veja que pareça causar esse comportamento.

Editar

Encontrou a configuração. Eu não tenho certeza de como eu perdi antes, ou porque eu cliquei em primeiro lugar. Não sei como esse "recurso" poderia ser bom, já que você não pode voltar às configurações para defini-lo de volta.

    

Answer 2

Você também pode ativar a barra de menus com este comando no terminal:

gnome-terminal --show-menubar

Isso me ajudou a resolver esse problema, então estou postando aqui. Espero que seja útil para os outros.

    

Answer 3

No meu caso (Ubuntu 16), indo para Configurações do sistema > Aparência > Comportamento. Em "Mostrar os menus de uma janela", selecionando "Na barra de título do Windows", resolveu-o.