diff dwtx/jface/text/WhitespaceCharacterPainter.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children b6bad70d540a
line wrap: on
line diff
--- a/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -447,7 +447,7 @@
      */
     private bool isFoldedLine(int widgetLine) {
         if (fTextViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             int modelLine= extension.widgetLine2ModelLine(widgetLine);
             int widgetLine2= extension.modelLine2WidgetLine(modelLine + 1);
             return widgetLine2 is -1;
@@ -490,7 +490,7 @@
      */
     private int getWidgetOffset(int documentOffset) {
         if (fTextViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             return extension.modelOffset2WidgetOffset(documentOffset);
         }
         IRegion visible= fTextViewer.getVisibleRegion();
@@ -509,7 +509,7 @@
      */
     private int getDocumentOffset(int widgetOffset) {
         if (fTextViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             return extension.widgetOffset2ModelOffset(widgetOffset);
         }
         IRegion visible= fTextViewer.getVisibleRegion();