diff options
| author | Dani Megert | 2012-02-29 10:32:47 +0000 |
|---|---|---|
| committer | Dani Megert | 2012-02-29 10:32:47 +0000 |
| commit | d57ab6c691d53a419ad801ff8f7ba74342c6e88d (patch) | |
| tree | 55fdb69bc40b8db3e9cda7f254046d6db7e75f49 | |
| parent | 8849002c4b50cc7b0aa21f5acf18008940b96360 (diff) | |
| download | eclipse.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.java | 5 |
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 4a1afa357ac..dc403188bef 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(); } /** |