summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDeepak Azad2012-04-27 03:12:49 (EDT)
committerDani Megert2012-04-27 03:12:49 (EDT)
commit9a2cb80b2c308fec5e2faa29c9e33e9e37745f07 (patch)
treee643bcaadeff124590d41d9d7980b00865991cd2
parent523e872119d2744ba7e02691f54bfbfa15a6e0e5 (diff)
downloadeclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.zip
eclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.tar.gz
eclipse.platform.text-9a2cb80b2c308fec5e2faa29c9e33e9e37745f07.tar.bz2
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.java1
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 5cc1925..f450fe4 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;
}