--- a/dwtx/jface/text/TextViewerUndoManager.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/TextViewerUndoManager.d	Sun Aug 24 02:26:23 2008 +0200
@@ -292,7 +292,7 @@
             if (((eventType & DocumentUndoEvent.ABOUT_TO_UNDO) !is 0) || ((eventType & DocumentUndoEvent.ABOUT_TO_REDO) !is 0))  {
                 if (event.isCompound()) {
                     ITextViewerExtension extension= null;
-                    if (fTextViewer instanceof ITextViewerExtension)
+                    if ( cast(ITextViewerExtension)fTextViewer )
                         extension= cast(ITextViewerExtension) fTextViewer;
 
                     if (extension !is null)
@@ -300,7 +300,7 @@
                 }
                 fTextViewer.getTextWidget().getDisplay().syncExec(new class()  Runnable {
                     public void run() {
-                        if (fTextViewer instanceof TextViewer)
+                        if ( cast(TextViewer)fTextViewer )
                             (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true);
                     }
                 });
@@ -308,13 +308,13 @@
             } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0))  {
                 fTextViewer.getTextWidget().getDisplay().syncExec(new class()  Runnable {
                     public void run() {
-                        if (fTextViewer instanceof TextViewer)
+                        if ( cast(TextViewer)fTextViewer )
                             (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false);
                     }
                 });
                 if (event.isCompound()) {
                     ITextViewerExtension extension= null;
-                    if (fTextViewer instanceof ITextViewerExtension)
+                    if ( cast(ITextViewerExtension)fTextViewer )
                         extension= cast(ITextViewerExtension) fTextViewer;
 
                     if (extension !is null)
@@ -545,7 +545,7 @@
      * @param length the length of the range
      */
     private void selectAndReveal(int offset, int length) {
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
             extension.exposeModelRange(new Region(offset, length));
         } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length))