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?
shortcut-keys
fonts
gnome-terminal
shortcuts
Ionică Bizău
fonte
fonte
+
=shift
+=
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 :
fonte
+
está na=
tecla, então você realmente precisa pressionarshift
e=
obter um+
. Provavelmente é por isso que você precisa usarctrl
+shift
++
(ou, na verdade, éctrl
+shift
+=
). Se você não gostar, basta configurar outro atalho de teclado, conforme descrito acima. Por exemplo, se você configurarctrl
+=
para aumentar o zoom, poderá pressionar as teclas que esperava em primeiro lugar para aumentar o zoom (semshift
).Tente Shift Ctrl +aumentar
e Ctrl -para diminuir o tamanho da fonte.
Nota: a Shiftchave é necessária em alguns sistemas.
fonte
O truque que funcionou para mim foi usar
Ctrl
+Shift
+=
ouCtrl
+,-
mas NÃO no teclado numérico.fonte
Lembre-se que o terminal é MUITO literal! O terminal + chave do Ubuntu quer está na linha superior e requer Shift, caso contrário, é =.
fonte