# HG changeset patch
# User wenzelm
# Date 1551009203 -3600
# Node ID 828f3cd0dcf95cecaf5439130ae3f116ed02e88b
# Parent  4419d4d675c3817419b39558f9f2407193b4ad89
fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;

diff -r 4419d4d675c3 -r 828f3cd0dcf9 src/Tools/jEdit/patches/glyphvector
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/patches/glyphvector	Sun Feb 24 12:53:23 2019 +0100
@@ -0,0 +1,14 @@
+diff -ru 5.5.0/jEdit/org/gjt/sp/jedit/syntax/Chunk.java 5.5.0/jEdit-patched/org/gjt/sp/jedit/syntax/Chunk.java
+--- 5.5.0/jEdit/org/gjt/sp/jedit/syntax/Chunk.java	2018-04-09 01:57:24.000000000 +0200
++++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/syntax/Chunk.java	2019-02-24 12:32:09.336643045 +0100
+@@ -655,6 +655,10 @@
+ 		// instance to the char array.
+ 		font.layoutGlyphVector(frc, EMPTY_TEXT, 0, 0, flags);
+ 
++		if ((result.getLayoutFlags() & GlyphVector.FLAG_COMPLEX_GLYPHS) != 0) {
++			result = font.createGlyphVector(frc, new String(text, start, end - start));
++		}
++
+ 		return result;
+ 	} // }}}
+