diff dwtx/jface/text/source/projection/ProjectionSummary.d @ 142:893c017bcdc5

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:29:00 +0200
parents b6bad70d540a
children 53b889547456
line wrap: on
line diff
--- a/dwtx/jface/text/source/projection/ProjectionSummary.d	Sun Aug 24 21:25:28 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionSummary.d	Sun Aug 24 21:29:00 2008 +0200
@@ -174,7 +174,7 @@
 
 
             IDocument document= fProjectionViewer.getDocument();
-            if (document instanceof ISynchronizable && fAnnotationModel instanceof ISynchronizable) {
+            if ( cast(ISynchronizable)document  && fAnnotationModel instanceof ISynchronizable) {
                 ISynchronizable sync= cast(ISynchronizable) fAnnotationModel;
                 previousLockObject= sync.getLockObject();
                 sync.setLockObject((cast(ISynchronizable) document).getLockObject());