diff dwtx/jface/text/source/SourceViewer.d @ 142:893c017bcdc5

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:29:00 +0200
parents b6bad70d540a
children 53b889547456
line wrap: on
line diff
--- a/dwtx/jface/text/source/SourceViewer.d	Sun Aug 24 21:25:28 2008 +0200
+++ b/dwtx/jface/text/source/SourceViewer.d	Sun Aug 24 21:29:00 2008 +0200
@@ -435,7 +435,7 @@
         fContentAssistant= configuration.getContentAssistant(this);
         if (fContentAssistant !is null) {
             fContentAssistant.install(this);
-            if (fContentAssistant instanceof IContentAssistantExtension4 && fContentAssistant instanceof IContentAssistantExtension4)
+            if ( cast(IContentAssistantExtension4)fContentAssistant  && fContentAssistant instanceof IContentAssistantExtension4)
                 fContentAssistantFacade= new ContentAssistantFacade(fContentAssistant);
             fContentAssistantInstalled= true;
         }