diff dwtx/jface/text/source/LineNumberRulerColumn.d @ 142:893c017bcdc5

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:29:00 +0200
parents b6bad70d540a
children 53b889547456
line wrap: on
line diff
--- a/dwtx/jface/text/source/LineNumberRulerColumn.d	Sun Aug 24 21:25:28 2008 +0200
+++ b/dwtx/jface/text/source/LineNumberRulerColumn.d	Sun Aug 24 21:29:00 2008 +0200
@@ -599,7 +599,7 @@
         if ( cast(ITextViewerExtension)fCachedTextViewer ) {
             ITextViewerExtension extension= cast(ITextViewerExtension) fCachedTextViewer;
             Control control= extension.getControl();
-            if (control instanceof Composite && !control.isDisposed()) {
+            if ( cast(Composite)control  && !control.isDisposed()) {
                 Composite composite= cast(Composite) control;
                 composite.layout(true);
             }