comparison dwtx/jface/internal/text/StickyHoverManager.d @ 149:b411f1c62131

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:41:48 +0200
parents 000f9136b8f7
children 5cf141e43417
comparison
equal deleted inserted replaced
148:b3dec671d1f7 149:b411f1c62131
243 /* 243 /*
244 * @see dwt.widgets.Listener#handleEvent(dwt.widgets.Event) 244 * @see dwt.widgets.Listener#handleEvent(dwt.widgets.Event)
245 */ 245 */
246 public void handleEvent(Event event) { 246 public void handleEvent(Event event) {
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 (!( cast(Control)event.widget ) || event.widget.isDisposed())
249 return; 249 return;
250 250
251 IInformationControl infoControl= getCurrentInformationControl2(); 251 IInformationControl infoControl= getCurrentInformationControl2();
252 if (infoControl !is null && !infoControl.isFocusControl() && cast(IInformationControlExtension3)infoControl ) { 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$