Fix hover functionality.

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / phpeditor / PaintManager.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java
index 9e880b4..9bdc55b 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java
@@ -135,7 +135,7 @@ public final class PaintManager implements KeyListener, MouseListener,
 
        private boolean fTextChanged = false;
 
-       private boolean fAutoRepeat = false;
+       //private boolean fAutoRepeat = false;
 
        public PaintManager(ISourceViewer sourceViewer) {
                fSourceViewer = sourceViewer;