Changeset 18042 for release-kits
- Timestamp:
- 2008-12-03T16:40:04+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
release-kits/shared/uninstaller/Uninstaller.java
r18033 r18042 30 30 import javax.swing.SwingUtilities; 31 31 32 import java.util.Enumeration; 33 import java.awt.Font; 34 import javax.swing.plaf.FontUIResource; 35 import javax.swing.UIManager; 36 37 32 38 33 39 public class Uninstaller { … … 71 77 72 78 public void go() { 79 80 //set font 81 String new_default_font_str = null; 82 if ( System.getProperty("os.name").equals("Linux") ) { 83 new_default_font_str = "Bitstream Cyberbit"; 84 } else if ( System.getProperty("os.name").startsWith("Windows") ) { 85 new_default_font_str = "Arial Unicode MS"; 86 } 87 88 if ( new_default_font_str != null ) { 89 90 FontUIResource default_font = new FontUIResource(new_default_font_str, Font.PLAIN, 12); 91 Enumeration keys = UIManager.getDefaults().keys(); 92 while (keys.hasMoreElements()) { 93 Object key = keys.nextElement(); 94 Object value = UIManager.get(key); 95 if (value instanceof FontUIResource) { 96 UIManager.put(key, default_font); 97 } 98 } 99 100 } 101 73 102 74 103 mainThread = Thread.currentThread();
Note:
See TracChangeset
for help on using the changeset viewer.