diff dwtx/jface/text/CursorLinePainter.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents eb21d3dfc767
children
line wrap: on
line diff
--- a/dwtx/jface/text/CursorLinePainter.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/CursorLinePainter.d	Mon Sep 08 00:51:37 2008 +0200
@@ -187,9 +187,9 @@
     private IPaintPositionManager fPositionManager;
 
     /** Keeps track of the line to be painted */
-    private Position fCurrentLine= new Position(0, 0);
+    private Position fCurrentLine;
     /** Keeps track of the line to be cleared */
-    private Position fLastLine= new Position(0, 0);
+    private Position fLastLine;
     /** Keeps track of the line number of the last painted line */
     private int fLastLineNumber= -1;
     /** Indicates whether this painter is active */
@@ -201,6 +201,8 @@
      * @param textViewer the source viewer for which to create a painter
      */
     public this(ITextViewer textViewer) {
+        fCurrentLine= new Position(0, 0);
+        fLastLine= new Position(0, 0);
         fViewer= textViewer;
     }
 
@@ -251,10 +253,10 @@
 
                 fLastLine.offset= fCurrentLine.offset;
                 fLastLine.length= fCurrentLine.length;
-                fLastLine.isDeleted= fCurrentLine.isDeleted;
+                fLastLine.isDeleted_= fCurrentLine.isDeleted_;
 
-                if (fCurrentLine.isDeleted) {
-                    fCurrentLine.isDeleted= false;
+                if (fCurrentLine.isDeleted_) {
+                    fCurrentLine.isDeleted_= false;
                     fPositionManager.managePosition(fCurrentLine);
                 }