Discussion :

[barbiche]

Y a t'il un moyen de trouver le nom de la police de caractère par défaut ?
Je cherche à modifier la taille de cette police. J'ai utilisé la commande suivante, mais ça me retourne un NullPointerException :

Font font = new Font(getFont().getFontName(), Font.PLAIN, 9);

Merci

[billynirvana]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Font DEFAULT_FONT = new Font(null, 1, 12);

1-> en gras
12 -> la taille de la police.


CU