Bonjour,

J'utilise eclipse 3.4.1 sous Kubuntu 8.10, Je cherche à changer taille des fontes dans les views d'eclipse (Outline, PHP explorer etc...)
Il y a bien-sûr les préférences, mais le paramêtrage des fontes dans éclipse est inopérant pour changer la taille des caractères dans les views.
En fait, éclipse se base sur le réglage système des fontes GTK.
Je modifie la taille des fontes GTK, et là les views eclipse ont la taille de fonte qui suit.
Seulement, ca change les fontes de TOUS les applicatifs GTK et cela ne me plait pas du tout (je veux de tout petits caractères pour les views eclipse).

Bref, plutot qu'éclipse utilise le paramêtrage système des fontes GTK, je souhaiterais lui imposer une taille de caractère spécifiquement pour les views : est-ce possible ?
Comment ?