Mercurial > projects > dwt-addons
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; |