diff dwtx/jface/text/source/LineChangeHover.d @ 141:ea8dd2e11034

instanceof and throws
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:25:28 +0200
parents b6bad70d540a
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/source/LineChangeHover.d	Sun Aug 24 03:23:46 2008 +0200
+++ b/dwtx/jface/text/source/LineChangeHover.d	Sun Aug 24 21:25:28 2008 +0200
@@ -245,7 +245,7 @@
                 model= diffModel;
         }
         if ( cast(ILineDiffer)model ) {
-            if (model instanceof ILineDifferExtension2 && (cast(ILineDifferExtension2)model).isSuspended())
+            if (cast(ILineDifferExtension2)model && (cast(ILineDifferExtension2)model).isSuspended())
                 return null;
             return cast(ILineDiffer)model;
         }