Pour le choix du theme GTK on peut faire plus propre qu'un setting global. Sur Debian SID le fichier à utiliser est $HOME/.gtkrc-2.0
$ cat ~/.gtkrc-2.0
gtk-font-name = "Verdana 9"
include "/usr/share/themes/Mist/gtk-2.0/gtkrc"
EOF
A noter que cette astuce est valide tout aussi bien pour gtk-1.2 en utilisant le fichier $HOME/.gtkrc. Biensûr faites attention à faire pointer gtk vers un theme correspondant à sa version.
PS: pour la font sous gtk-1.2, il faut se coltiner les fonts "a la" X11 du style --plop----100-100-iso8859-15
# Re: Police GTK2 sans GNOME2
Posté par Edouard Gomez . En réponse au journal Police GTK2 sans GNOME2. Évalué à 2.
$ cat ~/.gtkrc-2.0
gtk-font-name = "Verdana 9"
include "/usr/share/themes/Mist/gtk-2.0/gtkrc"
EOF
A noter que cette astuce est valide tout aussi bien pour gtk-1.2 en utilisant le fichier $HOME/.gtkrc. Biensûr faites attention à faire pointer gtk vers un theme correspondant à sa version.
PS: pour la font sous gtk-1.2, il faut se coltiner les fonts "a la" X11 du style --plop----100-100-iso8859-15