Bonjour
J’essaie vaguement de comprendre la différence de hauteur dans les menus entre MSWin et Gnome/KDE.
Dans l’exemple avec Gnome:
La police a à peu près la même taille (les deux sont à 10pixels), mais la hauteur d’une ligne est beaucoup plus grande sur Gnome.
En recoupant avec quelques googleries, je dirais qu’il y a peut-être un lien avec la taille des icones dans le menu, mais sans certitude.
Et de toute façon, je ne sais pas où ça se configure (gui ou pas), donc tout aide is welcome 
Je m’auto-réponds, si ça peut aider:
entrées de menu:
[ul]
[li]S’il y a des icones, changer la taille des icones autorisées.
où 16,16 est la taille souhaitée[/li]
[li] Sans icones, c’est dans le gtkrc du theme (sous /usr/share/themes/<nom_du_theme>/gtk-2.0):
style "theme-menu-item" = "theme-default"
{
ythickness = 1
...
et changer la valeur de ythickness, qui, comme son nom l’indique, modifie le remplissage vertical de la ligne autour de la police.
Pour les menus des fenêtres, la même chose avec theme-menubar[/li]
[li] Et enfin, changer la taille de la police des menus. Je l’ai passé en 8, comme sous MSWin:
Système>Préférences>Apparence,onglet Polices, et modifier la police des applications[/li][/ul]