diff options
author | Dani Megert | 2003-10-23 14:32:19 +0000 |
---|---|---|
committer | Dani Megert | 2003-10-23 14:32:19 +0000 |
commit | 792a686e4cd10ba20c30d96a53db3a71834ba475 (patch) | |
tree | c24a88240e050421a1be11b839a3ee3d61a92d81 | |
parent | e4e6f9f04e0eb7db20dc3a5b98961f8b4c660bd1 (diff) | |
download | eclipse.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.java | 2 | ||||
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java | 3 |
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); } |