Pages : 1
#1 Le 01/11/2006, à 20:40
- Orus78
Changer police terminal [Résolu]
Bonjour à tous,
Petite question toute bête, comment fait-on pour changer la police de caractères de Terminal sous XFCE?
Parce que par défaut c'est beaucoup trop gros.
Merci et A+.
Dernière modification par Orus78 (Le 03/11/2006, à 10:35)
Hors ligne
#2 Le 01/11/2006, à 23:27
- jojolafrite
Re : Changer police terminal [Résolu]
editer > preference > aspect > et la tu choisi la police
Hors ligne
#3 Le 03/11/2006, à 10:37
- Orus78
Re : Changer police terminal [Résolu]
Merci pour ta réponse!
J'avais déjà était dans ce menu, mais il faut avouer que ça ne saute pas aux yeux car le nom de la police m'était inconnu, et placer ça dans un simple bouton c'est très déroutant.
Ceci dit, avec XFCE, ca fait fait plaisir que sa mémoire soit réservée aux applications plutot qu'à l'environement.
A+
Hors ligne
Pages : 1