diff dwtx/jface/text/source/ChangeRulerColumn.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 75302ef3f92f
line wrap: on
line diff
--- a/dwtx/jface/text/source/ChangeRulerColumn.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/source/ChangeRulerColumn.d	Sun Aug 24 02:26:23 2008 +0200
@@ -568,7 +568,7 @@
         int topLine;
         IRegion coverage;
         
-        if (fCachedTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fCachedTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fCachedTextViewer;
             
             // ITextViewer.getTopIndex returns the fully visible line, but we want the partially