Mercurial > projects > dwt-addons
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);