--- a/dwtx/jface/internal/text/revisions/RevisionSelectionProvider.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/internal/text/revisions/RevisionSelectionProvider.d	Sun Aug 24 02:26:23 2008 +0200
@@ -66,7 +66,7 @@
 
         public void selectionChanged(SelectionChangedEvent event) {
             ISelection selection= event.getSelection();
-            if (selection instanceof ITextSelection) {
+            if ( cast(ITextSelection)selection ) {
                 ITextSelection ts= cast(ITextSelection) selection;
                 int offset= ts.getOffset();
                 setSelectedRevision(fPainter.getRevision(offset));
@@ -139,11 +139,11 @@
     public void setSelection(ISelection selection) {
         if (fIgnoreEvents)
             return;
-        if (selection instanceof IStructuredSelection) {
+        if ( cast(IStructuredSelection)selection ) {
             Object first= (cast(IStructuredSelection) selection).getFirstElement();
-            if (first instanceof Revision)
+            if ( cast(Revision)first )
                 fPainter.handleRevisionSelected(cast(Revision) first);
-            else if (first instanceof String)
+            else if ( cast(String)first )
                 fPainter.handleRevisionSelected(cast(String) first);
             else if (selection.isEmpty())
                 fPainter.handleRevisionSelected(cast(Revision) null);
@@ -160,7 +160,7 @@
         fViewer= viewer;
         if (fViewer !is null) {
             ISelectionProvider provider= fViewer.getSelectionProvider();
-            if (provider instanceof IPostSelectionProvider) {
+            if ( cast(IPostSelectionProvider)provider ) {
                 IPostSelectionProvider postProvider= cast(IPostSelectionProvider) provider;
                 fSelectionListener= new PostSelectionListener(postProvider);
             }