Changeset 17858 for release-kits

Timestamp:

13.11.2008 15:42:08 (11 years ago)

Author:

oranfry

Message:

os conditional font selection

Location:

release-kits/shared/ant-installer

Files:

• lib/ant-installer.jar (modified) (previous)
• src/org/tp23/antinstaller/runtime/SwingRunner.java (modified) (1 diff)

release-kits/shared/ant-installer/src/org/tp23/antinstaller/runtime/SwingRunner.java

@@ -112 +112 @@
 
             //set font
-            FontUIResource default_font = new FontUIResource("AR PL New Sung", Font.PLAIN, 12);
-            Enumeration keys = UIManager.getDefaults().keys();
-            while (keys.hasMoreElements()) {
-                Object key = keys.nextElement();
-                Object value = UIManager.get(key);
-                if (value instanceof FontUIResource) {
-                    UIManager.put(key, default_font);
+            String new_default_font_str = null;
+            if ( System.getProperty("os.name").equals("Linux") ) {
+                new_default_font_str = "Bitstream Cyberbit";
+            } else if ( System.getProperty("os.name").startsWith("Windows") ) {
+                new_default_font_str = "Arial Unicode MS";
+            }
+
+            if ( new_default_font_str != null ) {
+
+                FontUIResource default_font = new FontUIResource(new_default_font_str, Font.PLAIN, 12);
+                Enumeration keys = UIManager.getDefaults().keys();
+                while (keys.hasMoreElements()) {
+                    Object key = keys.nextElement();
+                    Object value = UIManager.get(key);
+                    if (value instanceof FontUIResource) {
+                        UIManager.put(key, default_font);
+                    }
                 }
+
             }