Police ans la bare des menu pour Java(8)
benoit_28
Messages postés
44
Date d'inscription
Statut
Membre
Dernière intervention
-
benoit_28 Messages postés 44 Date d'inscription Statut Membre Dernière intervention -
benoit_28 Messages postés 44 Date d'inscription Statut Membre Dernière intervention -
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"??
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:
- Police ans la bare des menu pour Java(8)
- Clé windows 8 - Guide
- Waptrick java football - Télécharger - Jeux vidéo
- Jeux java itel - Télécharger - Jeux vidéo
- Mixcraft 8 - Télécharger - Création musicale
- Menu déroulant excel - Guide
