Tu mets une ligne qui ressemble à :
gtk-font-name = "Sans 14"
Dans un fichier de config.
Tu as 3 possibilités :
- Pour toi seulement
~/.gtkrc-2.0
- Pour tout le monde :
/etc/gtk-2.0/gtkrc
Tu modifie le thème gtk en cours :
/usr/share/themes/MonTheme/gtk-2.0/gtkrc
J'espère que c'est ça je n'ai pas de debian pour vérifier.
# $ locate gtkrc
Posté par Nicolas . En réponse au message taille des polices gtk1 et gtk2 sous fluxbox. Évalué à 2.
gtk-font-name = "Sans 14"
Dans un fichier de config.
Tu as 3 possibilités :
- Pour toi seulement
~/.gtkrc-2.0
- Pour tout le monde :
/etc/gtk-2.0/gtkrc
Tu modifie le thème gtk en cours :
/usr/share/themes/MonTheme/gtk-2.0/gtkrc
J'espère que c'est ça je n'ai pas de debian pour vérifier.