Police ans la bare des menu pour Java(8)

Fermé
benoit_28 Messages postés 43 Date d'inscription vendredi 20 mars 2020 Statut Membre Dernière intervention 11 juin 2023 - 15 déc. 2020 à 13:54
benoit_28 Messages postés 43 Date d'inscription vendredi 20 mars 2020 Statut Membre Dernière intervention 11 juin 2023 - 15 déc. 2020 à 15:00
Je cherche à modifier la police dans les barres de menus de Java (8)., car celle qui est fournie en défaut donne des résultats illisibles, car bien trop petits.
Ce que je fais:

Font times_gras_24=new Font("Times",Font.BOLD,24);
...........
menu_syst=new MenuBar();
System.out.println(" menu_syst.getFont() "+(menu_syst.getFont()));
menu_syst.setFont(times_gras_24);
System.out.println(" menu_syst.getFont() "+(menu_syst.getFont()));

La première impression me donne: null
La seconde impression me donne bien la police en question. Cependant, la police utilisée dans le programme n'a pas changé et les caractères sont toujours trop petits? La police serait_elle trop grande pour la barre des menus fournie par Java? Mais alors comment modifier cette dernièe? Et pourquoi la première impression me donne-t-elle null, ce qui voudrait dire que Java a imposé une police "secète"??
A voir également:

1 réponse

benoit_28 Messages postés 43 Date d'inscription vendredi 20 mars 2020 Statut Membre Dernière intervention 11 juin 2023
15 déc. 2020 à 15:00
ça marche avec une police plus petite que 24, 18 par exemple
0