diff -r d9b32243798f -r b6bca0666c38 src/Tools/jEdit/patches/extended_styles_brackets --- a/src/Tools/jEdit/patches/extended_styles_brackets Mon Nov 20 14:23:11 2023 +0100 +++ b/src/Tools/jEdit/patches/extended_styles_brackets Mon Nov 20 15:55:10 2023 +0100 @@ -26,7 +26,7 @@ diff -ru jedit5.6.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/textarea/TextArea.java --- jedit5.6.0/jEdit/org/gjt/sp/jedit/textarea/TextArea.java 2020-09-03 05:31:01.000000000 +0200 -+++ jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/textarea/TextArea.java 2021-05-10 18:19:56.275495525 +0200 ++++ jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/textarea/TextArea.java 2023-11-20 15:31:55.825519645 +0100 @@ -914,6 +914,11 @@ return chunkCache.getLineInfo(screenLine).physicalLine; } //}}} @@ -50,6 +50,15 @@ int count = 1; char openBracket = '\0'; char closeBracket = '\0'; +@@ -6336,7 +6341,7 @@ + { + int following = charBreaker.following(offset - + index0Offset); +- if (following == BreakIterator.DONE) ++ if (following == BreakIterator.DONE || (Runtime.version().feature() >= 20 && following == offset - index0Offset)) + { + // This means a end of line. Then it is + // safe to assume 1 code unit is a character. diff -ru jedit5.6.0/jEdit/org/gjt/sp/jedit/TextUtilities.java jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/TextUtilities.java --- jedit5.6.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 2020-09-03 05:31:03.000000000 +0200 +++ jedit5.6.0-patched/jEdit/org/gjt/sp/jedit/TextUtilities.java 2021-05-10 18:20:57.418571547 +0200