Atalho para alterar o tamanho da fonte do gnome-terminal

17

Eu preciso de um atalho rápido para alterar o tamanho da fonte do terminal. Eu uso gnome-terminal .

Eu tentei com Ctrl + + e Ctrl + - mas o tamanho não é alterado.

Existe outro atalho? Posso adicionar um atalho como esse?

    
por Ionică Bizău 18.03.2014 / 13:45

4 respostas

22

Ctrl + + e Ctrl + - estão funcionando bem para mim. Talvez você tenha diferentes atalhos configurados.

Para alterar os atalhos de teclado, vá para Editar - > Atalhos de teclado ... no menu do gnome-terminal, e procure por Zoom In e Zoom Out :

    
por Malte Skoruppa 18.03.2014 / 13:52
15

Tente Shift Ctrl + para aumentar

e Ctrl - para diminuir o tamanho da fonte.

Nota: a tecla Shift é necessária em alguns sistemas.

    
por Felix Francis 17.08.2014 / 05:40
2

Lembre-se de que o terminal é MUITO literal! A chave + que o terminal do Ubuntu quer está na linha superior e requer o Shift, caso contrário é =.

    
por KevinR 14.12.2014 / 20:08
2

O truque que funcionou para mim foi usar Ctrl + Shift + = ou Ctrl + - , mas NÃO no teclado numérico.

    
por Anastazie Sedlakova 29.03.2018 / 11:40