--- a/dwtx/jface/text/projection/Segment.d	Mon Aug 25 19:06:44 2008 +0200
+++ b/dwtx/jface/text/projection/Segment.d	Tue Aug 26 02:46:34 2008 +0200
@@ -45,9 +45,9 @@
     /** The corresponding fragment for this segment. */
     public Fragment fragment;
     /** A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries. */
-    public bool isMarkedForStretch;
+    public bool isMarkedForStretch_;
     /** A flag indicating that the segment updater should shift this segment when a change happens at its boundaries. */
-    public bool isMarkedForShift;
+    public bool isMarkedForShift_;
 
     /**
      * Creates a new segment covering the given range.
@@ -63,7 +63,7 @@
      * Sets the stretching flag.
      */
     public void markForStretch() {
-        isMarkedForStretch= true;
+        isMarkedForStretch_= true;
     }
 
     /**
@@ -71,14 +71,18 @@
      * @return <code>true</code> if the stretching flag is set, <code>false</code> otherwise
      */
     public bool isMarkedForStretch() {
-        return isMarkedForStretch;
+        return isMarkedForStretch_;
+    }
+    public bool isMarkedForStretch(bool v) {
+        isMarkedForStretch_ = v;
+        return isMarkedForStretch();
     }
 
     /**
      * Sets the shifting flag.
      */
     public void markForShift() {
-        isMarkedForShift= true;
+        isMarkedForShift_= true;
     }
 
     /**
@@ -86,14 +90,18 @@
      * @return <code>true</code> if the shifting flag is set, <code>false</code> otherwise
      */
     public bool isMarkedForShift() {
-        return isMarkedForShift;
+        return isMarkedForShift_;
+    }
+    public bool isMarkedForShift(bool v) {
+        isMarkedForShift_ = v;
+        return isMarkedForShift();
     }
 
     /**
      * Clears the shifting and the stretching flag.
      */
     public void clearMark() {
-        isMarkedForStretch= false;
-        isMarkedForShift= false;
+        isMarkedForStretch_= false;
+        isMarkedForShift_= false;
     }
 }