fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
authorwenzelm
Sun Feb 24 12:53:23 2019 +0100 (4 months ago ago)
changeset 70020828f3cd0dcf9
parent 70019 4419d4d675c3
child 70021 a35033167f01
fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
src/Tools/jEdit/patches/glyphvector
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/jEdit/patches/glyphvector	Sun Feb 24 12:53:23 2019 +0100
     1.3 @@ -0,0 +1,14 @@
     1.4 +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
     1.5 +--- 5.5.0/jEdit/org/gjt/sp/jedit/syntax/Chunk.java	2018-04-09 01:57:24.000000000 +0200
     1.6 ++++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/syntax/Chunk.java	2019-02-24 12:32:09.336643045 +0100
     1.7 +@@ -655,6 +655,10 @@
     1.8 + 		// instance to the char array.
     1.9 + 		font.layoutGlyphVector(frc, EMPTY_TEXT, 0, 0, flags);
    1.10 + 
    1.11 ++		if ((result.getLayoutFlags() & GlyphVector.FLAG_COMPLEX_GLYPHS) != 0) {
    1.12 ++			result = font.createGlyphVector(frc, new String(text, start, end - start));
    1.13 ++		}
    1.14 ++
    1.15 + 		return result;
    1.16 + 	} // }}}
    1.17 +