Re: Change Fontsizes Globally

From:

verec <verec@mac.com>

Newsgroups:

comp.lang.java.gui

Date:

Thu, 11 May 2006 10:13:53 +0100

Message-ID:

<44630051$0$647$5a6aecb4@news.aaisp.net.uk>

On 2006-05-11 07:58:05 +0100, Volker Raum <Volker.Raum@heitec.de> said:

  public void setApplicationFont(float increment)
  {
    Enumeration enumer = UIManager.getDefaults().keys();
    while(enumer.hasMoreElements())
    {
      Object key = enumer.nextElement();
      Object value = UIManager.get(key);
      if (value instanceof Font)
      {
        UIManager.put(key, new
javax.swing.plaf.FontUIResource(((Font)value).deriveFont(((Font)value).getSize()+increment)));

     }
    }
  }
  public static void main(String[] args){new Testing().setVisible(true);}
}

Thanx for the Code. Had the same idea, but there are still problems...

It might be due to the use of FontUIResource rather than
a regular font.

I've been using the following code for a while in a few
different projects, now, and all the tree/tables/list
come out as expected:

    public static final Font WIDGET_FONT = new Font("Tahoma",
Font.PLAIN, 11) ;
    public static final Font BOLD_FONT =
WIDGET_FONT.deriveFont(Font.BOLD) ;

    public static void setupFont() {

        UIDefaults defaults = UIManager.getDefaults() ;

        for (Enumeration e = defaults.keys() ; e.hasMoreElements() ; ) {
            Object key = e.nextElement() ;

            if (key.toString().indexOf("font") >= 0) {
                defaults.put(key, WIDGET_FONT) ;
            }
        }
    }

HTH
--
JFB