Changeset 17851 for release-kits/shared
- Timestamp:
- 2008-11-13T12:24:16+13:00 (15 years ago)
- Location:
- release-kits/shared/ant-installer
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
release-kits/shared/ant-installer/src/org/tp23/antinstaller/runtime/SwingRunner.java
r17578 r17851 42 42 import org.tp23.antinstaller.renderer.swing.SwingPageRenderer; 43 43 44 import java.util.Enumeration; 45 import java.awt.Font; 46 import javax.swing.plaf.FontUIResource; 47 import javax.swing.UIManager; 48 49 50 44 51 /** 45 52 * <p>Runs the installer in a JFrame window </p> … … 103 110 //setLocation(frame); 104 111 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 } 105 123 106 124 preparePages(installer.getPages(), ctx);
Note:
See TracChangeset
for help on using the changeset viewer.