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 este?
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 este?
Respostas:
Ctrl+ +e Ctrl+ -estão funcionando bem para mim. Talvez você tenha diferentes atalhos configurados.
Para alterar os atalhos do teclado, vá para Editar -> Atalhos do teclado ... no menu do gnome-terminal e procure por Mais zoom e Menos zoom :
+
está na =
tecla, então você realmente precisa pressionar shift
e =
obter um +
. Provavelmente é por isso que você precisa usar ctrl
+ shift
+ +
(ou, na verdade, é ctrl
+ shift
+ =
). Se você não gostar, basta configurar outro atalho de teclado, conforme descrito acima. Por exemplo, se você configurar ctrl
+ =
para aumentar o zoom, poderá pressionar as teclas que esperava em primeiro lugar para aumentar o zoom (sem shift
).
Tente Shift Ctrl +aumentar
e Ctrl -para diminuir o tamanho da fonte.
Nota: a Shiftchave é necessária em alguns sistemas.
O truque que funcionou para mim foi usar Ctrl
+ Shift
+ =
ou Ctrl
+, -
mas NÃO no teclado numérico.
Lembre-se que o terminal é MUITO literal! O terminal + chave do Ubuntu quer está na linha superior e requer Shift, caso contrário, é =.
+
=shift
+=