# HG changeset patch # User Frank Benoit # Date 1219606455 -7200 # Node ID 16a71f5778150b3ac15e0408c41f56636ffec92b # Parent 53b889547456674df22339ca3bd969dde4bcfd86 instanceof after || diff -r 53b889547456 -r 16a71f577815 dwtx/jface/internal/text/html/BrowserInformationControl.d --- a/dwtx/jface/internal/text/html/BrowserInformationControl.d Sun Aug 24 21:32:37 2008 +0200 +++ b/dwtx/jface/internal/text/html/BrowserInformationControl.d Sun Aug 24 21:34:15 2008 +0200 @@ -272,7 +272,7 @@ * {@link BrowserInformationControlInput}. */ public void setInput(Object input) { - Assert.isLegal(input is null || input instanceof String || input instanceof BrowserInformationControlInput); + Assert.isLegal(input is null || cast(String)input || input instanceof BrowserInformationControlInput); if ( cast(String)input ) { setInformation(cast(String)input); diff -r 53b889547456 -r 16a71f577815 dwtx/jface/text/source/AnnotationPainter.d --- 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);