Swing sur la hauteur d'une police Ubuntu

Question

Exécution d'un programme Java Swing sous Ubuntu Linux, je reçois un bogue bizarre où la hauteur de la police est trop grande pour la taille réelle de la police, c'est-à-dire chaque texte (dans les menus, boutons, zones de texte, etc.) a un espace vide excessif sous le texte lui-même.

Cela ne dépend pas de la police que je sélectionne. Cela ne dépend pas non plus de la taille de la police choisie - le réglage d'une plus grande taille pour essayer d'utiliser l'espace supplémentaire, provoque seulement l'espace excédentaire à l'échelle avec la taille de la police.

Cela dépend du système d'exploitation: il fonctionne correctement sous Windows. Cela dépend également de l'aspect et de la sensation choisis - cela fonctionne avec l'aspect et la sensation de GTK (qui n'est pas aussi attrayant que l'aspect métallique, donc je préférerais ne pas l'utiliser comme solution de contournement si je peux l'éviter).

Je ne trouve aucune mention de cela sur Google. Des idées comment résoudre ce problème?

Answer 1

Utilisez-vous SunJDK ou OpenJDK? Je pense qu'OpenJDK utilise d'autres polices et, en général, a des problèmes avec les polices et les mises en page. Si vous utilisez l'installation par défaut d'eclipse, vous êtes avec gcj, ce qui est encore plus imprévisible. Essayez SunJDK.