Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Augmenter ou réduire la taille du texte.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
associations@guillaume-bernard.fr 2015-2020
Charles Monzat
charles.monzat@free.fr 2020

# Zoom avant et zoom arrière

Pour augmenter la taille du texte dans Terminal :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre et appuyez sur +, ou appuyez sur Ctrl+.

Pour réduire la taille du texte de Terminal :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre et appuyez sur -, ou appuyez sur Ctrl-.

Pour restaurer la taille par défaut du texte de Terminal :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre et appuyez sur 100 %, ou appuyez sur Ctrl0.