X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java
index 9e880b4..9bdc55b 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PaintManager.java
+++ b/net.sourceforge.phpeclipse/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;