--- a/dwtx/jface/text/TextViewer.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/TextViewer.d	Sun Aug 24 02:26:23 2008 +0200
@@ -298,7 +298,7 @@
             if (length !is 0) {
                 try {
 
-                    if (e instanceof SlaveDocumentEvent) {
+                    if ( cast(SlaveDocumentEvent)e ) {
                         SlaveDocumentEvent slave= cast(SlaveDocumentEvent) e;
                         DocumentEvent master= slave.getMasterEvent();
                         if (master !is null)
@@ -1125,7 +1125,7 @@
 
             if (replaceAll) {
 
-                if (document instanceof IDocumentExtension4) {
+                if ( cast(IDocumentExtension4)document ) {
                     IDocumentExtension4 extension= cast(IDocumentExtension4) document;
                     fRewriteSession= extension.startRewriteSession(DocumentRewriteSessionType.SEQUENTIAL);
                 } else {
@@ -1140,7 +1140,7 @@
 
             } else {
 
-                if (document instanceof IDocumentExtension4) {
+                if ( cast(IDocumentExtension4)document ) {
                     IDocumentExtension4 extension= cast(IDocumentExtension4) document;
                     extension.stopRewriteSession(fRewriteSession);
                 } else {
@@ -2389,7 +2389,7 @@
                     return true;
 
                 bool accepted= false;
-                if (fWidgetTokenKeeper instanceof IWidgetTokenKeeperExtension)  {
+                if ( cast(IWidgetTokenKeeperExtension)fWidgetTokenKeeper )  {
                     IWidgetTokenKeeperExtension extension= cast(IWidgetTokenKeeperExtension) fWidgetTokenKeeper;
                     accepted= extension.requestWidgetToken(this, priority);
                 } else  {
@@ -2550,7 +2550,7 @@
      * @see Viewer#setSelection(ISelection)
      */
     public void setSelection(ISelection selection, bool reveal) {
-        if (selection instanceof ITextSelection) {
+        if ( cast(ITextSelection)selection ) {
             ITextSelection s= cast(ITextSelection) selection;
             setSelectedRange(s.getOffset(), s.getLength());
             if (reveal)
@@ -2784,7 +2784,7 @@
         if (textListeners !is null) {
             textListeners= new ArrayList(textListeners);
             DocumentEvent event= cmd.event;
-            if (event instanceof SlaveDocumentEvent)
+            if ( cast(SlaveDocumentEvent)event )
                 event= (cast(SlaveDocumentEvent) event).getMasterEvent();
 
             TextEvent e= new TextEvent(cmd.start, cmd.length, cmd.text, cmd.preservedText, event, redraws());
@@ -2881,7 +2881,7 @@
     public void setInput(Object input) {
 
         IDocument document= null;
-        if (input instanceof IDocument)
+        if ( cast(IDocument)input )
             document= cast(IDocument) input;
 
         setDocument(document);
@@ -2967,7 +2967,7 @@
      * @deprecated use <code>updateSlaveDocument</code> instead
      */
     protected bool updateVisibleDocument(IDocument visibleDocument, int visibleRegionOffset, int visibleRegionLength)  {
-        if (visibleDocument instanceof ChildDocument) {
+        if ( cast(ChildDocument)visibleDocument ) {
             ChildDocument childDocument= cast(ChildDocument) visibleDocument;
 
             IDocument document= childDocument.getParentDocument();
@@ -3554,7 +3554,7 @@
     protected int _getVisibleRegionOffset() {
 
         IDocument document= getVisibleDocument();
-        if (document instanceof ChildDocument) {
+        if ( cast(ChildDocument)document ) {
             ChildDocument cdoc= cast(ChildDocument) document;
             return cdoc.getParentDocumentRange().getOffset();
         }
@@ -3568,7 +3568,7 @@
     public IRegion getVisibleRegion() {
 
         IDocument document= getVisibleDocument();
-        if (document instanceof ChildDocument) {
+        if ( cast(ChildDocument)document ) {
             Position p= (cast(ChildDocument) document).getParentDocumentRange();
             return new Region(p.getOffset(), p.getLength());
         }
@@ -3581,7 +3581,7 @@
      */
     public bool overlapsWithVisibleRegion(int start, int length) {
         IDocument document= getVisibleDocument();
-        if (document instanceof ChildDocument) {
+        if ( cast(ChildDocument)document ) {
             ChildDocument cdoc= cast(ChildDocument) document;
             return cdoc.getParentDocumentRange().overlapsWith(start, length);
         } else if (document !is null) {
@@ -3933,7 +3933,7 @@
         fIgnoreAutoIndent= ignore;
 
         IDocument document= getDocument();
-        if (document instanceof IDocumentExtension2) {
+        if ( cast(IDocumentExtension2)document ) {
             IDocumentExtension2 extension= cast(IDocumentExtension2) document;
             if (ignore)
                 extension.ignorePostNotificationReplaces();
@@ -4156,7 +4156,7 @@
                 lineCount += lines[j + 1] - lines[j] + 1;
             }
 
-            if (d instanceof IDocumentExtension4) {
+            if ( cast(IDocumentExtension4)d ) {
                 IDocumentExtension4 extension= cast(IDocumentExtension4) d;
                 rewriteSession= extension.startRewriteSession(DocumentRewriteSessionType.SEQUENTIAL);
             } else {
@@ -4187,7 +4187,7 @@
             if (partitioners !is null)
                 TextUtilities.addDocumentPartitioners(d, partitioners);
             
-            if (d instanceof IDocumentExtension4) {
+            if ( cast(IDocumentExtension4)d ) {
                 IDocumentExtension4 extension= cast(IDocumentExtension4) d;
                 extension.stopRewriteSession(rewriteSession);
             } else {
@@ -4620,7 +4620,7 @@
     protected IRegion _internalGetVisibleRegion() {
 
         IDocument document= getVisibleDocument();
-        if (document instanceof ChildDocument) {
+        if ( cast(ChildDocument)document ) {
             Position p= (cast(ChildDocument) document).getParentDocumentRange();
             return new Region(p.getOffset(), p.getLength());
         }
@@ -4800,14 +4800,14 @@
 
         fMarkPosition= null;
 
-        if (oldDocument instanceof IDocumentExtension4) {
+        if ( cast(IDocumentExtension4)oldDocument ) {
             IDocumentExtension4 document= cast(IDocumentExtension4) oldDocument;
             document.removeDocumentRewriteSessionListener(fDocumentRewriteSessionListener);
         }
 
         super.inputChanged(newInput, oldInput);
 
-        if (newInput instanceof IDocumentExtension4) {
+        if ( cast(IDocumentExtension4)newInput ) {
             IDocumentExtension4 document= cast(IDocumentExtension4) newInput;
             document.addDocumentRewriteSessionListener(fDocumentRewriteSessionListener);
         }
@@ -4845,7 +4845,7 @@
      * @since 3.0
      */
     protected void enabledRedrawing(int topIndex) {
-        if (fDocumentAdapter instanceof IDocumentAdapterExtension) {
+        if ( cast(IDocumentAdapterExtension)fDocumentAdapter ) {
             IDocumentAdapterExtension extension= cast(IDocumentAdapterExtension) fDocumentAdapter;
             StyledText textWidget= getTextWidget();
             if (textWidget !is null && !textWidget.isDisposed()) {
@@ -4879,7 +4879,7 @@
         if (fViewerState is null)
             fViewerState= new ViewerState();
 
-        if (fDocumentAdapter instanceof IDocumentAdapterExtension) {
+        if ( cast(IDocumentAdapterExtension)fDocumentAdapter ) {
             IDocumentAdapterExtension extension= cast(IDocumentAdapterExtension) fDocumentAdapter;
             extension.stopForwardingDocumentChanges();
         }
@@ -4949,7 +4949,7 @@
      */
     protected final void startSequentialRewriteMode(bool normalized) {
         IDocument document= getDocument();
-        if (document instanceof IDocumentExtension) {
+        if ( cast(IDocumentExtension)document ) {
             IDocumentExtension extension= cast(IDocumentExtension) document;
             extension.startSequentialRewrite(normalized);
         }
@@ -4963,7 +4963,7 @@
      */
     protected final void stopSequentialRewriteMode() {
         IDocument document= getDocument();
-        if (document instanceof IDocumentExtension) {
+        if ( cast(IDocumentExtension)document ) {
             IDocumentExtension extension= cast(IDocumentExtension) document;
             extension.stopSequentialRewrite();
         }
@@ -5109,7 +5109,7 @@
      * @since 3.1
      */
     protected IRegion modelRange2ClosestWidgetRange(IRegion modelRange) {
-        if (!(fInformationMapping instanceof IDocumentInformationMappingExtension2))
+        if (!( cast(IDocumentInformationMappingExtension2)fInformationMapping ))
             return modelRange2WidgetRange(modelRange);
 
         try {
@@ -5359,7 +5359,7 @@
      * @since 3.0
      */
     public bool moveFocusToWidgetToken() {
-        if (fWidgetTokenKeeper instanceof IWidgetTokenKeeperExtension) {
+        if ( cast(IWidgetTokenKeeperExtension)fWidgetTokenKeeper ) {
             IWidgetTokenKeeperExtension extension= cast(IWidgetTokenKeeperExtension) fWidgetTokenKeeper;
             return extension.setFocus(this);
         }