[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Police de caractere pourri sous mon terminal....



Bon j'ai decouvert que la police par defaut pour mon gnome-terminal est monospace 12 regular.... vraiment pourri, mais je peux la changer quand je fais...
- ouverture d'un gnome-terminal
- clic droit dans la fenetre
- editer le profil courant
- je dois decocher l'option "utiliser la meme taille de police que les autres applications"
- et la je choisie comme je veux... ok ca marche...


merci de votre aide....

David



Reply to: