src/Tools/jEdit/patches/cobra-0.98.4/create_font
author wenzelm
Fri, 28 Sep 2012 23:02:39 +0200
changeset 49651 c7585f8addc2
parent 46816 a96b25141220
permissions -rw-r--r--
tuned;

diff -ru cobra-0.98.4/src/org/lobobrowser/util/gui/FontFactory.java cobra-0.98.4-patched/src/org/lobobrowser/util/gui/FontFactory.java
--- cobra-0.98.4/src/org/lobobrowser/util/gui/FontFactory.java	2008-12-28 17:33:38.000000000 +0100
+++ cobra-0.98.4-patched/src/org/lobobrowser/util/gui/FontFactory.java	2011-12-17 15:57:03.000000000 +0100
@@ -29,8 +29,6 @@
 import java.util.logging.*;
 
 import org.lobobrowser.util.Objects;
-/** Note: Undocumented class? */
-import sun.font.FontManager;
 
 /**
  * @author J. H. S.
@@ -206,8 +204,7 @@
 	}
 	
 	private Font createFont(String name, int style, int size) {
-		// Proprietary Sun API. Maybe shouldn't use it. Works well for Chinese.
-	    return FontManager.getCompositeFontUIResource(new Font(name, style, size));
+	    return new javax.swing.plaf.FontUIResource(name, style, size);
 	}
 	
 	private static class FontKey {