Police d'un GtkMenu

Bonjour,

Je cherche à changer la police dans un GtkMenu car celle par défaut est minuscule :roll:

En effet j'ai installé gtk avec le runtime et le devpak trouvé sur gtk.alkia.org et les polices étaient toutes petites.
J'ai réussi à changer la police par défaut dans le gtkrc, ça fonctionne pour des boutons, des labels etc... mais pas pour le menu :(

Si quelqu'un a une idée ou mieux un exemple, merci d'avance ;)


PS: Je joint un screenshot au cas où. Comme on peut le voir, la police du menu est plus petite que celle des boutons :s
http://taum.free.fr/root/screens/gtk...lle-police.jpg

Désolé, pas de réponse, mais ce problème m'intéresse (j'avais posté à ce sujet dans le forum de gtkfr, sans réponse à ce jour). Comment as-tu fait déjà pour modifier la taille de la police des boutons ?

D'après l'expérience que j'en ai sous Windows, il faut peut être déclarer les éléments de menus en OwnerDrawn, et les dessiner soi même, sur les appels de OnDrawItem (ou quelque chose qui correspond).

J'ai finalement résolu en installant des binaires provenant d'un autre package :roll: (ceux de glade).


@Le furet:
Pour modifier la police par défaut, j'avais modifié le fichier gtkrc (qui se trouve dans C:\Program Files\Fichiers communs\GTK\2.0\etc\gtk-2.0).
Il faut ajouter font_name à l'interieur de la définition de classe :

Code:

---

1 2 3 4 5

style "msw-default" { font_name = "tahoma 10" [...] }

---

Merci. Ravi d'avoir enfin une solution, j'essaie ça dès que j'arrive.