Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2003-10-23 14:32:19 +0000
committerDani Megert2003-10-23 14:32:19 +0000
commit792a686e4cd10ba20c30d96a53db3a71834ba475 (patch)
treec24a88240e050421a1be11b839a3ee3d61a92d81
parente4e6f9f04e0eb7db20dc3a5b98961f8b4c660bd1 (diff)
downloadeclipse.platform.text-792a686e4cd10ba20c30d96a53db3a71834ba475.tar.gz
eclipse.platform.text-792a686e4cd10ba20c30d96a53db3a71834ba475.tar.xz
eclipse.platform.text-792a686e4cd10ba20c30d96a53db3a71834ba475.zip
Added feature 45089: Background highlight painter
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java2
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java3
2 files changed, 4 insertions, 1 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java
index 6f05b7ef1ca..0bc7e4155a8 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java
@@ -273,7 +273,7 @@ public final class PaintManager implements KeyListener, MouseListener, ISelectio
* @param reason the reason
* @see IPainter
*/
- private void paint(int reason) {
+ void paint(int reason) {
for (Iterator e = fPainters.iterator(); e.hasNext();)
((IPainter) e.next()).paint(reason);
}
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
index 8a98481571d..a1d45e2289f 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
@@ -3026,6 +3026,8 @@ public class TextViewer extends Viewer implements
} catch (BadLocationException x) {
throw new IllegalArgumentException(JFaceTextMessages.getString("TextViewer.error.invalid_visible_region_2")); //$NON-NLS-1$
}
+
+ getPaintManager().paint(IPainter.INTERNAL);
}
/*
@@ -3041,6 +3043,7 @@ public class TextViewer extends Viewer implements
manager.freeSlaveDocument(slave);
}
}
+ getPaintManager().paint(IPainter.INTERNAL);
}

Back to the top