Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Utiliser les polices du système ou choisir une police personnalisée pour votre terminal.
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
translate@filorin.fr 2015

# Changer la police et le style

Lorsque vous travaillez sur beaucoup de texte Terminal, vous pouvez modifier la police par défaut selon vos préférences. Vous disposez des options suivantes :

# Police système à chasse fixe

Pour utiliser les polices par défaut du système :

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Select Text.

Unselect Custom font.

# Définition d'une police personnalisée

Pour définir une taille et une police personnalisées :

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Select Text.

Select Custom font.

Click on the button next to Custom font.

Saisissez le nom de la police désirée dans le champ de recherche ou parcourez la liste des polices.

Faites glisser le curseur qui est en dessous de la liste des polices pour définir la taille de la police. Sinon, vous pouvez saisir la taille de la police dans le champ à côté du curseur, ou cliquer sur + pour augmenter la taille de la police ou - pour diminuer la taille de police sélectionnée.

Cliquez sur Sélectionner pour appliquer vos changements. Pour annuler les changements et revenir dans la fenêtre de dialogue précédente, cliquez sur Annuler.

# Line spacing and character spacing

Terminal allows you to pull its characters apart for improved readability. Line spacing and character spacing can be adjusted from 1.0 (the regular look) to 2.0 (“double spacing”), including fractional values in between.

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Select Text.

To set the horizontal character spacing, adjust the multiplier number in front of width.

To set the line spacing, adjust the multiplier number in front of height.