diff options
| -rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java index 5cc1925c044..f450fe41f62 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java @@ -140,6 +140,7 @@ public final class MatchingCharacterPainter implements IPainter, PaintListener { * @since 3.8 */ public void setHighlightCharacterAtCaretLocation(boolean highlightCharacterAtCaretLocation) { + handleDrawRequest(null); // see https://bugs.eclipse.org/372515 fHighlightCharacterAtCaretLocation= highlightCharacterAtCaretLocation; } |