comparison dwtx/jface/internal/text/StickyHoverManager.d @ 143:53b889547456

instanceof after &&
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:32:37 +0200
parents 26688fec6d23
children 75302ef3f92f
comparison
equal deleted inserted replaced
142:893c017bcdc5 143:53b889547456
247 if (event.type is DWT.MouseMove) { 247 if (event.type is DWT.MouseMove) {
248 if (!(event.widget instanceof Control) || event.widget.isDisposed()) 248 if (!(event.widget instanceof Control) || event.widget.isDisposed())
249 return; 249 return;
250 250
251 IInformationControl infoControl= getCurrentInformationControl2(); 251 IInformationControl infoControl= getCurrentInformationControl2();
252 if (infoControl !is null && !infoControl.isFocusControl() && infoControl instanceof IInformationControlExtension3) { 252 if (infoControl !is null && !infoControl.isFocusControl() && cast(IInformationControlExtension3)infoControl ) {
253 // if cast(DEBUG) System.out_.println("StickyHoverManager.Closer.handleEvent(): activeShell= " + fDisplay.getActiveShell()); //$NON-NLS-1$ 253 // if cast(DEBUG) System.out_.println("StickyHoverManager.Closer.handleEvent(): activeShell= " + fDisplay.getActiveShell()); //$NON-NLS-1$
254 IInformationControlExtension3 iControl3= cast(IInformationControlExtension3) infoControl; 254 IInformationControlExtension3 iControl3= cast(IInformationControlExtension3) infoControl;
255 Rectangle controlBounds= iControl3.getBounds(); 255 Rectangle controlBounds= iControl3.getBounds();
256 if (controlBounds !is null) { 256 if (controlBounds !is null) {
257 Point mouseLoc= event.display.map(cast(Control) event.widget, null, event.x, event.y); 257 Point mouseLoc= event.display.map(cast(Control) event.widget, null, event.x, event.y);