Changeset 17851

Show
Ignore:
Timestamp:
13.11.2008 12:24:16 (11 years ago)
Author:
oranfry
Message:

changing installer to a more universal font

Location:
release-kits/shared/ant-installer
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • release-kits/shared/ant-installer/src/org/tp23/antinstaller/runtime/SwingRunner.java

    r17578 r17851  
    4242import org.tp23.antinstaller.renderer.swing.SwingPageRenderer; 
    4343 
     44import java.util.Enumeration; 
     45import java.awt.Font; 
     46import javax.swing.plaf.FontUIResource; 
     47import javax.swing.UIManager; 
     48 
     49 
     50 
    4451/** 
    4552 * <p>Runs the installer in a JFrame window </p> 
     
    103110            //setLocation(frame); 
    104111            setIcon(frame, installer); 
     112 
     113            //set font 
     114            FontUIResource default_font = new FontUIResource("AR PL New Sung", Font.PLAIN, 12); 
     115            Enumeration keys = UIManager.getDefaults().keys(); 
     116            while (keys.hasMoreElements()) { 
     117                Object key = keys.nextElement(); 
     118                Object value = UIManager.get(key); 
     119                if (value instanceof FontUIResource) { 
     120                    UIManager.put(key, default_font); 
     121                } 
     122            } 
    105123 
    106124            preparePages(installer.getPages(), ctx);