comparison dwtx/jface/text/information/InformationPresenter.d @ 143:53b889547456

instanceof after &&
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:32:37 +0200
parents 893c017bcdc5
children 000f9136b8f7
comparison
equal deleted inserted replaced
142:893c017bcdc5 143:53b889547456
431 431
432 /* 432 /*
433 * @see AbstractInformationControlManager#showInformationControl(Rectangle) 433 * @see AbstractInformationControlManager#showInformationControl(Rectangle)
434 */ 434 */
435 protected void showInformationControl(Rectangle subjectArea) { 435 protected void showInformationControl(Rectangle subjectArea) {
436 if ( cast(IWidgetTokenOwnerExtension)fTextViewer && fTextViewer instanceof IWidgetTokenOwner) { 436 if ( cast(IWidgetTokenOwnerExtension)fTextViewer && cast(IWidgetTokenOwner)fTextViewer ) {
437 IWidgetTokenOwnerExtension extension= cast(IWidgetTokenOwnerExtension) fTextViewer; 437 IWidgetTokenOwnerExtension extension= cast(IWidgetTokenOwnerExtension) fTextViewer;
438 if (extension.requestWidgetToken(this, WIDGET_PRIORITY)) 438 if (extension.requestWidgetToken(this, WIDGET_PRIORITY))
439 super.showInformationControl(subjectArea); 439 super.showInformationControl(subjectArea);
440 } else if ( cast(IWidgetTokenOwner)fTextViewer ) { 440 } else if ( cast(IWidgetTokenOwner)fTextViewer ) {
441 IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer; 441 IWidgetTokenOwner owner= cast(IWidgetTokenOwner) fTextViewer;