1.1 --- a/src/Tools/jEdit/patches/cobra-0.98.4/create_font	Wed Sep 25 18:49:37 2013 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,22 +0,0 @@
     1.4 -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
     1.5 ---- cobra-0.98.4/src/org/lobobrowser/util/gui/FontFactory.java	2008-12-28 17:33:38.000000000 +0100
     1.6 -+++ cobra-0.98.4-patched/src/org/lobobrowser/util/gui/FontFactory.java	2011-12-17 15:57:03.000000000 +0100
     1.7 -@@ -29,8 +29,6 @@
     1.8 - import java.util.logging.*;
     1.9 - 
    1.10 - import org.lobobrowser.util.Objects;
    1.11 --/** Note: Undocumented class? */
    1.12 --import sun.font.FontManager;
    1.13 - 
    1.14 - /**
    1.15 -  * @author J. H. S.
    1.16 -@@ -206,8 +204,7 @@
    1.17 - 	}
    1.18 - 	
    1.19 - 	private Font createFont(String name, int style, int size) {
    1.20 --		// Proprietary Sun API. Maybe shouldn't use it. Works well for Chinese.
    1.21 --	    return FontManager.getCompositeFontUIResource(new Font(name, style, size));
    1.22 -+	    return new javax.swing.plaf.FontUIResource(name, style, size);
    1.23 - 	}
    1.24 - 	
    1.25 - 	private static class FontKey {