diff dwtx/jface/text/DefaultInformationControl.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 75302ef3f92f
line wrap: on
line diff
--- a/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 02:26:23 2008 +0200
@@ -479,7 +479,7 @@
             if (isResizable())
                 maxHeight= Integer.MAX_VALUE;
             
-            if (fPresenter instanceof IInformationPresenterExtension)
+            if ( cast(IInformationPresenterExtension)fPresenter )
                 content= (cast(IInformationPresenterExtension)fPresenter).updatePresentation(fText, content, fPresentation, maxWidth, maxHeight);
             else
                 content= fPresenter.updatePresentation(getShell().getDisplay(), content, fPresentation, maxWidth, maxHeight);