Acabei de atualizar para o Ubuntu 17.10 e tenho problemas para maximizar a janela do terminal para a esquerda/direita. Quando maximizo a janela do terminal para um lado da tela, ela não usa a altura total da tela e fica meio cortada na parte inferior:
Quando abro uma nova aba no terminal, a altura da janela ultrapassa a altura da tela:
Isso não ocorre ao maximizar totalmente a janela ou com outros aplicativos.
O segundo problema torna impossível usar o terminal com múltiplas abas ao maximizar esquerda/direita. Como faço para corrigir isso?
Responder1
O primeiro não é necessariamente um bug. Os aplicativos de terminal geralmente pedem ao gerenciador de janelas que respeite certos critérios de tamanho (múltiplos do tamanho da célula). Neste caso GNOME Shellrespeita este pedido. (Embora seja realmente inconsistente que, quando você maximiza totalmente, as dicas de geometria não sejam mais respeitadas e a "lacuna" pertencerá a GNOME Terminal.)
O segundo parece um bug, você deve arquivá-lo em GNOME Shell.
Como solução alternativa, GNOME Terminalpossui uma opção de configuração oculta para mostrar a barra de guias mesmo se apenas uma única guia estiver presente. Você pode ativá-lo com
dconf write /org/gnome/terminal/legacy/tab-policy '"always"'
(e reverter com '"automatic"'ou dconf reset ...).
ATUALIZAR:
gnome-terminalacaba de receber uma correção/solução alternativa (não tenho certeza de como chamá-la) para o segundo problema (relatório de erro,comprometer-se). Ele aparecerá na próxima versão 3.28 epoderseja portado para 3.26.x também.
ATUALIZAÇÃO2:
GTK+a versão 3.22.25 corrige adequadamente esses dois problemas (relatório de erro,cometer 1,cometer 2,cometer 3- EUpensaré o primeiro commit que é realmente importante aqui).