--- a/dwtx/jface/text/source/projection/ProjectionRulerColumn.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionRulerColumn.d	Mon Sep 08 00:51:37 2008 +0200
@@ -202,20 +202,20 @@
         // install mouse move listener
         control.addMouseMoveListener(new class()  MouseMoveListener {
             public void mouseMove(MouseEvent e) {
-                bool redraw= false;
+                bool redraw_= false;
                 ProjectionAnnotation annotation= findAnnotation(toDocumentLineNumber(e.y), false);
                 if (annotation !is fCurrentAnnotation) {
                     if (fCurrentAnnotation !is null) {
                         fCurrentAnnotation.setRangeIndication(false);
-                        redraw= true;
+                        redraw_= true;
                     }
                     fCurrentAnnotation= annotation;
                     if (fCurrentAnnotation !is null && !fCurrentAnnotation.isCollapsed()) {
                         fCurrentAnnotation.setRangeIndication(true);
-                        redraw= true;
+                        redraw_= true;
                     }
                 }
-                if (redraw)
+                if (redraw_)
                     redraw();
             }
         });