diff dwtx/jface/text/CursorLinePainter.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/CursorLinePainter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/CursorLinePainter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -284,7 +284,7 @@
     private int getModelCaret() {
         int widgetCaret= fViewer.getTextWidget().getCaretOffset();
         if (fViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
             return extension.widgetOffset2ModelOffset(widgetCaret);
         }
         IRegion visible= fViewer.getVisibleRegion();
@@ -305,7 +305,7 @@
         int widgetOffset= 0;
         if (fViewer instanceof ITextViewerExtension5) {
 
-            ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
             widgetOffset= extension.modelOffset2WidgetOffset(position.getOffset());
             if (widgetOffset is -1)
                 return;