2009-08-05 12 views

Répondre

5

J'ai également eu un défi presque similaire, en définissant toutes les polices à une police spécifique. Le code ci-dessous va changer la taille de la police pour tous * .font propriétés à UIManager à une taille particulière

private static void setFontSize() { 
    int fontSize = 12; 
    Hashtable defaults = UIManager.getDefaults(); 
    Enumeration keys = defaults.keys(); 
    while (keys.hasMoreElements()) { 
     Object key = keys.nextElement(); 

     if ((key instanceof String) && (((String) key).endsWith(".font"))) { 
      FontUIResource font = (FontUIResource) UIManager.get(key); 
      defaults.put (key, new FontUIResource(font.getFontName(), font.getStyle(), fontSize)); 
     } 
    } 
} 
+1

D'un commentaire sur la réponse http://stackoverflow.com/a/8120380/873282: il est plus facile à utilisez deriveFont(): tree.setFont (tree.getFont(). deriveFont (24f)); – koppor