Réduire la taille des polices des GTK sous KDE

Ayant eu un gros souci avec différentes applications (souci dont la raison reste toujours obscure), j'ai installé KDE, un autre environnement graphique, et là, victoire ! Tout fonctionne de nouveau. Or, ce nouvel environnement, KDE, a quelques soucis avec les applications GTK (propre à Gnome). En effet, les tailles de police sont tout simplement énormes, et la configuration via le Settings Manager de KDE n'a aucun effet. Et pour cause : les applications GTK ne sont pas impactées par ces changements, propres aux librairies QT (propre, elles, à KDE). Heureusement pour vous, votre blogueur préféré (:p) a la solution !

Comment faire ? Eh bien, il suffit de modifier le fichier ~/.gtkrc-2.0-kde4, et d'y insérer le contenu suivant :

# This file was written by KDE
# You can edit it in the KDE control center, under "GTK Styles and Fonts"

include "/usr/share/themes/Qt4/gtk-2.0/gtkrc"

style "user-font"
{
        font_name="Sans Serif"
}
widget_class "*" style "user-font"

gtk-theme-name="Qt4"
gtk-font-name="Sans Serif 6"

C'est la dernière ligne qui nous intéresse. Il s'agira de la police utilisée, ainsi que sa taille (ici, 6 pixels, qui correspond à un affichage correct sur ma machine). Une fois ce fichier modifié, il ne vous reste plus qu'à redémarrer votre application GTK, et le tour est joué ! :)