--- a/dwtx/jface/text/WhitespaceCharacterPainter.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/WhitespaceCharacterPainter.d	Mon Sep 08 00:51:37 2008 +0200
@@ -170,9 +170,9 @@
 
 
 /**
- * A painter for drawing visible characters for (invisible) whitespace 
+ * A painter for drawing visible characters for (invisible) whitespace
  * characters.
- * 
+ *
  * @since 3.3
  */
 public class WhitespaceCharacterPainter : IPainter, PaintListener {
@@ -182,7 +182,7 @@
     private static const char TAB_SIGN= '\u00bb';
     private static const char CARRIAGE_RETURN_SIGN= '\u00a4';
     private static const char LINE_FEED_SIGN= '\u00b6';
-    
+
     /** Indicates whether this painter is active. */
     private bool fIsActive= false;
     /** The source viewer this painter is attached to. */
@@ -194,11 +194,11 @@
 
     /**
      * Creates a new painter for the given text viewer.
-     * 
+     *
      * @param textViewer  the text viewer the painter should be attached to
      */
     public this(ITextViewer textViewer) {
-        super();
+//         super();
         fTextViewer= textViewer;
         fTextWidget= textViewer.getTextWidget();
         GC gc= new GC(fTextWidget);
@@ -278,7 +278,7 @@
 
     /**
      * Draw characters in view range.
-     * 
+     *
      * @param gc
      * @param x
      * @param y
@@ -301,7 +301,7 @@
 
     /**
      * Draw the given line range.
-     * 
+     *
      * @param gc
      * @param startLine  first line number
      * @param endLine  last line number (inclusive)
@@ -370,7 +370,7 @@
 
     /**
      * Draw characters of content range.
-     * 
+     *
      * @param gc the GC
      * @param startOffset inclusive start index
      * @param endOffset exclusive end index
@@ -434,14 +434,14 @@
                     }
                     draw(gc, widgetOffset, visibleChar.toString(), fg);
                 }
-                visibleChar.delete_(0, visibleChar.length());
+                visibleChar.truncate(0);
             }
         }
     }
 
     /**
      * Check if the given widget line is a folded line.
-     * 
+     *
      * @param widgetLine  the widget line number
      * @return <code>true</code> if the line is folded
      */
@@ -464,7 +464,7 @@
 
     /**
      * Draw string at widget offset.
-     * 
+     *
      * @param gc
      * @param offset the widget offset
      * @param s the string to be drawn
@@ -476,7 +476,7 @@
         FontMetrics fontMetrics= gc.getFontMetrics();
         int fontBaseline= fontMetrics.getAscent() + fontMetrics.getLeading();
         int baslineDelta= baseline - fontBaseline;
-        
+
         Point pos= fTextWidget.getLocationAtOffset(offset);
         gc.setForeground(fg);
         gc.drawString(s, pos.x, pos.y + baslineDelta, true);
@@ -484,7 +484,7 @@
 
     /**
      * Convert a document offset to the corresponding widget offset.
-     * 
+     *
      * @param documentOffset
      * @return widget offset
      */
@@ -503,7 +503,7 @@
 
     /**
      * Convert a widget offset to the corresponding document offset.
-     * 
+     *
      * @param widgetOffset
      * @return document offset
      */