J'avais tout pareil que toi.
C'est dans la conf de Gnome que ça se règle. Mais si tu as fait une installation minimaliste, c'est que tu es comme moi : tu aimes n'avoir que le strict nécessaire, donc il est possible que tu n'aies pas le Gnome-Control-Center. Et l'installer, c'est installer quasiment tout Gnome, avec des dizaines de Mo inutiles.
Alors tu peux te créer un fichier .gtkrc-2.0, dans ton home, dans lequel tu mets tes réglages Gnome. Voilà le mien :
[nico@nico nico]$ cat .gtkrc-2.0
include "/home/nico/.themes/Smooth-LightYellow/gtk-2.0/gtkrc"
gtk-font-name = "Arial 11"
Donc j'ai les polices de base de Gnome en Arial taille 11. La première ligne, c'est pour le thème.
Voili voilou. Si tu fais une recherche dans Google en tapant gtkrc-2.0, tu auras d'autres astuces.
# Re: Taille des polices sous Mdk9.2...
Posté par Zorro . En réponse au journal Taille des polices sous Mdk9.2.... Évalué à 1.
C'est dans la conf de Gnome que ça se règle. Mais si tu as fait une installation minimaliste, c'est que tu es comme moi : tu aimes n'avoir que le strict nécessaire, donc il est possible que tu n'aies pas le Gnome-Control-Center. Et l'installer, c'est installer quasiment tout Gnome, avec des dizaines de Mo inutiles.
Alors tu peux te créer un fichier .gtkrc-2.0, dans ton home, dans lequel tu mets tes réglages Gnome. Voilà le mien :
[nico@nico nico]$ cat .gtkrc-2.0
include "/home/nico/.themes/Smooth-LightYellow/gtk-2.0/gtkrc"
gtk-font-name = "Arial 11"
Donc j'ai les polices de base de Gnome en Arial taille 11. La première ligne, c'est pour le thème.
Voili voilou. Si tu fais une recherche dans Google en tapant gtkrc-2.0, tu auras d'autres astuces.