greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 17851

Show
Ignore:
Timestamp:
2008-11-13 12:24:16 (2 months ago)
Author:
oranfry
Message:

changing installer to a more universal font

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • 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);