diff options
| author | Deepak Azad | 2012-04-27 07:12:49 +0000 |
|---|---|---|
| committer | Dani Megert | 2012-04-27 07:12:49 +0000 |
| commit | 9a2cb80b2c308fec5e2faa29c9e33e9e37745f07 (patch) | |
| tree | e643bcaadeff124590d41d9d7980b00865991cd2 | |
| parent | 523e872119d2744ba7e02691f54bfbfa15a6e0e5 (diff) | |
| download | eclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.tar.gz eclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.tar.xz eclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.zip | |
Fixed bug 372515: [syntax highlighting] Disabling "Highlight bracket at
caret location" doesn't remove rendered box
| -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; } |