
Só uso o Ubuntu há algumas semanas.
A quantidade de espaço desperdiçado na parte superior de algumas janelas é quase cômica, mas percebo que isso se deve em grande parte aos desenvolvedores. Por exemplo, o Chrome e o Microsoft Teams fazem ótimo uso do espaço. Firefox e Visual Studio Code... oof.
Tentando resolver isso, me deparei com uma resposta aqui sugerindo gnome-shell-extension-pixelsaver
. Funcionou muito bem por vários dias. Então pare de trabalhar ontem. Eu tentei sudo apt purge gnome-shell-extension-pixelsaver
e depois reinstalei. Reinicie, etc. Não resolve.
Eu também tenteino-title-bar
e também certifiquei-me de x11-utils
que estava instalado. Também não faz nada.
Não fiz nenhuma alteração no sistema, por isso estou perplexo por que ele parou de funcionar.
Alguma sugestão sobre como resolver isso?
EDITAR - 27/03/20
Acabei fazendo uma reformatação por alguns motivos, sendo este um deles.
Usei esta extensão na reformatação limpa:
https://github.com/pixel-saver/pixel-saver
Novamente... funciona por alguns dias e depois para de funcionar. Reinstalá-lo não faz nada.
Responder1
obtenha o editor dconf e vá para org->gnome->terminal->legacy->headerbar definido como false. Então você pode usar a extensão unite para, por exemplo, remover barras de título quando lado a lado ou quando o terminal preenche a tela inteira.
Mas mas mas encontro algumas falhas nas sombras atrás do terminal ao fazer isso. Talvez você não vá. Por enquanto não há outras soluções.