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

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 26688fec6d23
line wrap: on
line diff
--- a/dwtx/jface/text/RewriteSessionEditProcessor.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/RewriteSessionEditProcessor.d	Sun Aug 24 02:26:23 2008 +0200
@@ -227,7 +227,7 @@
      */
     public UndoEdit performEdits() throws MalformedTreeException, BadLocationException {
         IDocument document= getDocument();
-        if (!(document instanceof IDocumentExtension4))
+        if (!( cast(IDocumentExtension4)document ))
             return super.performEdits();
 
         IDocumentExtension4 extension= cast(IDocumentExtension4) document;