Ubuntu 19.10... pixelsaver estava funcionando, mas agora não está; reinstalar não funciona

Ubuntu 19.10... pixelsaver estava funcionando, mas agora não está; reinstalar não funciona

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-pixelsavere depois reinstalei. Reinicie, etc. Não resolve.

Eu também tenteino-title-bare também certifiquei-me de x11-utilsque 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.

informação relacionada