Altura incorreta do terminal quando a esquerda / direita maximiza no Ubuntu 17.10

Question

Acabei de atualizar para o Ubuntu 17.10 e tenho problemas com a esquerda / direita maximizando a janela do terminal. Quando eu maximizo a janela do terminal para um lado da tela, ela não usa a altura total da tela e é meio que cortada na parte inferior:

Quandoabroumanovaguianoterminal,aalturadajanelaultrapassaaalturadatela:

Isso não ocorre ao maximizar totalmente a janela ou com outros aplicativos.

O segundo problema torna impossível usar o terminal com várias guias quando a maximização esquerda / direita. Como faço para corrigir isso?

    

Answer 1

O primeiro não é necessariamente um bug. Aplicações de terminal geralmente pedem ao gerenciador de janelas que respeite certos critérios de tamanho (múltiplos de tamanho de célula). Nesse caso, GNOME Shell respeita essa solicitação. (Embora seja inconsistente que, quando você maximiza totalmente, as dicas de geometria não sejam mais respeitadas e o "intervalo" pertença a GNOME Terminal .)

O segundo parece um bug, você deve arquivá-lo em GNOME Shell .

Como solução alternativa, GNOME Terminal tem uma opção de configuração oculta para mostrar a barra de guias, mesmo que apenas uma única guia esteja presente. Você pode ativá-lo com

dconf write /org/gnome/terminal/legacy/tab-policy '"always"'

(e reverta com '"automatic"' ou dconf reset ... ).

ATUALIZAÇÃO:

gnome-terminal acaba de receber uma correção / solução alternativa (não sei ao certo como chamá-la) para o segundo problema ( bugreport , commit ). Ele aparecerá na próxima versão 3.28, e poderá ser retornado para o 3.26.x também.

UPDATE2:

GTK+ versão 3.22.25 corrige adequadamente esses dois problemas ( relatório de erros , cometer 1 , commit 2 , comete 3 - I pense que é o primeiro commit realmente importante aqui.