diff dwtx/jface/text/source/AnnotationPainter.d @ 144:16a71f577815

instanceof after ||
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:34:15 +0200
parents 26688fec6d23
children 02cd5f1224d3
line wrap: on
line diff
--- a/dwtx/jface/text/source/AnnotationPainter.d	Sun Aug 24 21:32:37 2008 +0200
+++ b/dwtx/jface/text/source/AnnotationPainter.d	Sun Aug 24 21:34:15 2008 +0200
@@ -896,7 +896,7 @@
         String type= annotation.getType();
 
         Object paintingStrategy= getPaintingStrategy(type);
-        if (paintingStrategy is null || paintingStrategy instanceof NullStrategy)
+        if (paintingStrategy is null || cast(NullStrategy)paintingStrategy )
             return null;
 
         Color color= getColor(type);