Impossible de changer de police dans java.awt.MenuBar

Question

J'essaie de changer la police dans une barre de menu AWT en utilisant MenuBar.setFont(). L'appel fonctionne pour les menus enfants de la barre de menus, mais la barre de menus elle-même ne change pas de police (j'essaie de rendre la police plus grande).

Est-ce que quelqu'un sait si c'est possible? J'utilise JRE 1.6 sur Windows XP.

Mise à jour: La modification de la police semble fonctionner tant que le texte correspond à la hauteur de la barre de menu, sinon la taille de la police est réduite.

Answer 1

Utilisez la fonction Swing. Je ne pense pas que AWT est capable de restyler des pairs de composants natifs d'une manière fiable. Je sais avec certitude que SWT ne peut pas, et c'est une boîte à outils beaucoup plus sophistiquée que AWT. C'est partie de pourquoi il était essentiellement obsolète (en faveur de Swing) en Java 1.2.