fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
authorwenzelm
Sun, 24 Feb 2019 12:53:23 +0100
changeset 69839 828f3cd0dcf9
parent 69838 4419d4d675c3
child 69840 a35033167f01
fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
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;
+ 	} // }}}
+