Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2012-02-29 10:32:47 +0000
committerDani Megert2012-02-29 10:32:47 +0000
commitd57ab6c691d53a419ad801ff8f7ba74342c6e88d (patch)
tree55fdb69bc40b8db3e9cda7f254046d6db7e75f49
parent8849002c4b50cc7b0aa21f5acf18008940b96360 (diff)
downloadeclipse.platform.text-d57ab6c691d53a419ad801ff8f7ba74342c6e88d.tar.gz
eclipse.platform.text-d57ab6c691d53a419ad801ff8f7ba74342c6e88d.tar.xz
eclipse.platform.text-d57ab6c691d53a419ad801ff8f7ba74342c6e88d.zip
Make sure we don't install the same document again - part 2
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/PaintManager.java5
1 files changed, 3 insertions, 2 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 4a1afa357..dc403188b 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
@@ -225,12 +225,13 @@ public final class PaintManager implements KeyListener, MouseListener, ISelectio
private void install() {
fManager= new PositionManager();
- if (fTextViewer.getDocument() != null)
+ if (fTextViewer.getDocument() != null) {
fManager.install(fTextViewer.getDocument());
+ addListeners();
+ }
fTextViewer.addTextInputListener(this);
- addListeners();
}
/**

Back to the top