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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 000f9136b8f7
line wrap: on
line diff
--- a/dwtx/jface/text/DocumentEvent.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/DocumentEvent.d	Sun Aug 24 02:26:23 2008 +0200
@@ -215,7 +215,7 @@
         fLength= length;
         fText= text;
 
-        if (fDocument instanceof IDocumentExtension4)
+        if ( cast(IDocumentExtension4)fDocument )
             fModificationStamp= (cast(IDocumentExtension4)fDocument).getModificationStamp();
         else
             fModificationStamp= IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP;