comparison 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
comparison
equal deleted inserted replaced
141:ea8dd2e11034 142:893c017bcdc5
597 597
598 fRelayoutRequired= false; 598 fRelayoutRequired= false;
599 if ( cast(ITextViewerExtension)fCachedTextViewer ) { 599 if ( cast(ITextViewerExtension)fCachedTextViewer ) {
600 ITextViewerExtension extension= cast(ITextViewerExtension) fCachedTextViewer; 600 ITextViewerExtension extension= cast(ITextViewerExtension) fCachedTextViewer;
601 Control control= extension.getControl(); 601 Control control= extension.getControl();
602 if (control instanceof Composite && !control.isDisposed()) { 602 if ( cast(Composite)control && !control.isDisposed()) {
603 Composite composite= cast(Composite) control; 603 Composite composite= cast(Composite) control;
604 composite.layout(true); 604 composite.layout(true);
605 } 605 }
606 } 606 }
607 } 607 }