diff 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
line wrap: on
line diff
--- a/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 21:29:00 2008 +0200
+++ b/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 21:32:37 2008 +0200
@@ -433,7 +433,7 @@
      * @see AbstractInformationControlManager#showInformationControl(Rectangle)
      */
     protected void showInformationControl(Rectangle subjectArea) {
-        if ( cast(IWidgetTokenOwnerExtension)fTextViewer  && fTextViewer instanceof IWidgetTokenOwner) {
+        if ( cast(IWidgetTokenOwnerExtension)fTextViewer  && cast(IWidgetTokenOwner)fTextViewer ) {
             IWidgetTokenOwnerExtension extension= cast(IWidgetTokenOwnerExtension) fTextViewer;
             if (extension.requestWidgetToken(this, WIDGET_PRIORITY))
                 super.showInformationControl(subjectArea);