Changer police d'un JButton
Fermé
parousky
Messages postés
325
Date d'inscription
mardi 11 septembre 2012
Statut
Membre
Dernière intervention
20 février 2022
-
17 nov. 2013 à 20:15
KX Messages postés 16753 Date d'inscription samedi 31 mai 2008 Statut Modérateur Dernière intervention 25 novembre 2024 - 17 nov. 2013 à 23:05
KX Messages postés 16753 Date d'inscription samedi 31 mai 2008 Statut Modérateur Dernière intervention 25 novembre 2024 - 17 nov. 2013 à 23:05
A voir également:
- Changer police d'un JButton
- Changer dns - Guide
- Changer police facebook - Guide
- Police aptos - Accueil - Bureautique
- Changer police heure iphone - Guide
- Changer clavier qwerty en azerty - Guide
1 réponse
KX
Messages postés
16753
Date d'inscription
samedi 31 mai 2008
Statut
Modérateur
Dernière intervention
25 novembre 2024
3 019
Modifié par KX le 17/11/2013 à 23:15
Modifié par KX le 17/11/2013 à 23:15
Tu ne peux pas utiliser "TimesRoman" car cela ne fait pas partie des fontes autorisées. Tu peux afficher les fontes disponibles comme ceci :
Ce qui se rapproche le plus c'est "Times New Roman", exemple :
La confiance n'exclut pas le contrôle
System.out.println(Arrays.toString(GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames()));
Ce qui se rapproche le plus c'est "Times New Roman", exemple :
public static void main(String[] args)
{
Font f = new Font("Times New Roman", Font.BOLD, 30);
UIManager.put("Button.font", f);
new Grille(); // ou new Fenetre(), ton code n'est pas clair à ce sujet
}
La confiance n'exclut pas le contrôle