Fix hover functionality.
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / phpeditor / PaintManager.java
index 9e880b4..9bdc55b 100644 (file)
@@ -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;