Meu sistema operacional é Ubuntu 18.04 com Unity UI. Quero alterar o tamanho da fonte do meu terminal pressionando ( Ctrl+ +) e ( Ctrl+ -). Então defino meus atalhos nas preferências do terminal e funciona:
Mas o tamanho da janela do terminal também aumenta/diminui, então se eu criar um texto menor, o terminal fica menor e tenho que redimensioná-lo manualmente. Se eu encaixar o terminal com a opção de tela dividida (arrastando-o para a esquerda ou para a direita), ele não será redimensionado. Mas isso significa que toda vez que preciso encaixá-lo com a opção de tela dividida e quero uma solução melhor.
Responder1
Mas o tamanho da janela do terminal também aumenta/diminui
No caso do Terminal GNOME, este é o comportamento pretendido.
Com encaixe e tela dividida, há uma “força” externa que mantém o tamanho da janela (medido em pixels) inalterado. Essa "força" substitui a solicitação do Terminal GNOME nos tamanhos de janela preferidos (para caber em células inteiras de caracteres), então normalmente você obtém espaço adicional não utilizado à direita e na parte inferior.
Com janelas "regulares" (não encaixadas, não maximizadas etc.), não existe essa "força" externa; portanto, o tamanho da janela ainda mudaria ligeiramente (para sempre acomodar células inteiras, em qualquer tamanho de fonte atual), ou você ' Se você não tivesse mais dicas de geometria de incremento de redimensionamento, você acabaria com um redimensionamento contínuo, como feito por vários outros emuladores de terminal, como o konsole.
Nenhuma dessas soluções é perfeita, cada uma tem seus prós e contras. Os desenvolvedores do Terminal GNOME decidiram manter o tamanho da janela medido em células de caracteres, ou seja, uma opção de zoom não afeta o aplicativo em execução (a menos que alguma "força externa" force um tamanho diferente).