|
Utilisez les polices système par défaut.
public static void main(String[] args){
GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
String[] fontNames = ge.getAvailableFontFamilyNames();
javax.swing.JTextField jTextField = new javax.swing.JTextField();
jTextField.setFont(new java.awt.Font(fontNames[1], 1, 15));
}
|
|
|
- Récupérez la liste des polices disponibles.
- Permettez à l'utilisateur de sélectionner la police dans cette liste.
public static void main(String[] args){
UIDefaults defaults = UIManager.getDefaults();
defaults.put( "Label.font", new java.awt.Font("dialog", java.awt.Font.PLAIN, 14));
}
|
|
|
Appliquez à tous les widgets une police générique, communément disponible.
|