diff dwtx/jface/text/source/MatchingCharacterPainter.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/source/MatchingCharacterPainter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/MatchingCharacterPainter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -200,7 +200,7 @@
             return;
 
         if (fSourceViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
             IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length));
             if (widgetRange is null)
                 return;