Changeset 17858
- Timestamp:
- 2008-11-13T15:42:08+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
r17851 r17858 112 112 113 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); 114 String new_default_font_str = null; 115 if ( System.getProperty("os.name").equals("Linux") ) { 116 new_default_font_str = "Bitstream Cyberbit"; 117 } else if ( System.getProperty("os.name").startsWith("Windows") ) { 118 new_default_font_str = "Arial Unicode MS"; 119 } 120 121 if ( new_default_font_str != null ) { 122 123 FontUIResource default_font = new FontUIResource(new_default_font_str, Font.PLAIN, 12); 124 Enumeration keys = UIManager.getDefaults().keys(); 125 while (keys.hasMoreElements()) { 126 Object key = keys.nextElement(); 127 Object value = UIManager.get(key); 128 if (value instanceof FontUIResource) { 129 UIManager.put(key, default_font); 130 } 121 131 } 132 122 133 } 123 134
Note:
See TracChangeset
for help on using the changeset viewer.