diff dwtx/jface/text/source/LineNumberRulerColumn.d @ 143:53b889547456

instanceof after &&
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:32:37 +0200
parents 893c017bcdc5
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/source/LineNumberRulerColumn.d	Sun Aug 24 21:29:00 2008 +0200
+++ b/dwtx/jface/text/source/LineNumberRulerColumn.d	Sun Aug 24 21:32:37 2008 +0200
@@ -233,7 +233,7 @@
                 // select line
                 IDocument document= fCachedTextViewer.getDocument();
                 int lineNumber= fParentRuler.getLineOfLastMouseButtonActivity();
-                if (expandExistingSelection && fCachedTextViewer instanceof ITextViewerExtension5
+                if (expandExistingSelection && cast(ITextViewerExtension5)fCachedTextViewer 
                         && fCachedTextViewer.getTextWidget() !is null) {
                     ITextViewerExtension5 extension5= (cast(ITextViewerExtension5)fCachedTextViewer);
                     // Find model curosr position