# HG changeset patch
# User wenzelm
# Date 1380133729 -7200
# Node ID 842d4386c477625897bd56bf7d4e4ee10d783ebc
# Parent  e5dedcbd823b90abca3ca3c273356d3145b4d183
obsolete (see da57c4912987);

diff -r e5dedcbd823b -r 842d4386c477 src/Tools/jEdit/patches/cobra-0.98.4/create_font
--- a/src/Tools/jEdit/patches/cobra-0.98.4/create_font	Wed Sep 25 18:49:37 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-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 {