web-dev-qa-db-fra.com

Comment changer la police par défaut monospaced?

Duplicate possible:
Comment changer les polices et ajuster leur taille?

Dans Oneiric Ocelot, la police monospace par défaut dans "Ubuntu Mono" de taille 13; Je peux le voir dans les préférences de gedit. Dans cette capture d'écran, vous pouvez également voir cette police:

gedit system font

La taille 13 est trop grande pour moi et je n'aime pas la modifier dans tous les programmes utilisant la police système.

Comment puis-je voir et changer cette configuration de police par défaut? Dans le panneau de configuration, il n’ya plus que la sélection du thème, sans aucune fonction de personnalisation (et je pense que c’est très mauvais pour un système d’exploitation Linux ...).

Je vous remercie

4
Pisu

Installez gnome-Tweak-tool. Ensuite, vous le trouverez dans "Paramètres avancés" (Impostazioni Avanzate)

5
Fabio