comparison dwtx/jface/text/AbstractHoverInformationControlManager.d @ 149:b411f1c62131

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:41:48 +0200
parents b3dec671d1f7
children 5cf141e43417
comparison
equal deleted inserted replaced
148:b3dec671d1f7 149:b411f1c62131
426 if (!hasInformationControlReplacer()) 426 if (!hasInformationControlReplacer())
427 hideInformationControl(); 427 hideInformationControl();
428 else if (!isReplaceInProgress()) { 428 else if (!isReplaceInProgress()) {
429 IInformationControl infoControl= getCurrentInformationControl(); 429 IInformationControl infoControl= getCurrentInformationControl();
430 // During isReplaceInProgress(), events can come from the replacing information control 430 // During isReplaceInProgress(), events can come from the replacing information control
431 if (event.widget instanceof Control && cast(IInformationControlExtension5)infoControl ) { 431 if ( cast(Control)event.widget && cast(IInformationControlExtension5)infoControl ) {
432 Control control= cast(Control) event.widget; 432 Control control= cast(Control) event.widget;
433 IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl; 433 IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl;
434 if (!(iControl5.containsControl(control))) 434 if (!(iControl5.containsControl(control)))
435 hideInformationControl(); 435 hideInformationControl();
436 else if (event.type is DWT.MouseWheel && cancelReplacingDelay()) 436 else if (event.type is DWT.MouseWheel && cancelReplacingDelay())
445 case DWT.MouseDown: 445 case DWT.MouseDown:
446 if (!hasInformationControlReplacer()) 446 if (!hasInformationControlReplacer())
447 hideInformationControl(); 447 hideInformationControl();
448 else if (!isReplaceInProgress()) { 448 else if (!isReplaceInProgress()) {
449 IInformationControl infoControl= getCurrentInformationControl(); 449 IInformationControl infoControl= getCurrentInformationControl();
450 if (event.widget instanceof Control && cast(IInformationControlExtension5)infoControl ) { 450 if ( cast(Control)event.widget && cast(IInformationControlExtension5)infoControl ) {
451 Control control= cast(Control) event.widget; 451 Control control= cast(Control) event.widget;
452 final IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl; 452 final IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl;
453 if (!(iControl5.containsControl(control))) { 453 if (!(iControl5.containsControl(control))) {
454 hideInformationControl(); 454 hideInformationControl();
455 } else if (cancelReplacingDelay()) { 455 } else if (cancelReplacingDelay()) {
505 */ 505 */
506 private void handleMouseMove(Event event) { 506 private void handleMouseMove(Event event) {
507 // if (DEBUG) 507 // if (DEBUG)
508 // System.out_.println("AbstractHoverInformationControl.Closer.handleMouseMove():" + event); //$NON-NLS-1$ 508 // System.out_.println("AbstractHoverInformationControl.Closer.handleMouseMove():" + event); //$NON-NLS-1$
509 509
510 if (!(event.widget instanceof Control)) 510 if (!( cast(Control)event.widget ))
511 return; 511 return;
512 Control eventControl= cast(Control) event.widget; 512 Control eventControl= cast(Control) event.widget;
513 513
514 //transform coordinates to subject control: 514 //transform coordinates to subject control:
515 Point mouseLoc= event.display.map(eventControl, fSubjectControl, event.x, event.y); 515 Point mouseLoc= event.display.map(eventControl, fSubjectControl, event.x, event.y);
517 if (fSubjectArea.contains(mouseLoc)) 517 if (fSubjectArea.contains(mouseLoc))
518 return; 518 return;
519 519
520 IInformationControl iControl= getCurrentInformationControl(); 520 IInformationControl iControl= getCurrentInformationControl();
521 if (!hasInformationControlReplacer() || !canMoveIntoInformationControl(iControl)) { 521 if (!hasInformationControlReplacer() || !canMoveIntoInformationControl(iControl)) {
522 if (this.outer instanceof AnnotationBarHoverManager) { 522 if ( cast(AnnotationBarHoverManager)this.outer ) {
523 if (getInternalAccessor().getAllowMouseExit()) 523 if (getInternalAccessor().getAllowMouseExit())
524 return; 524 return;
525 } 525 }
526 hideInformationControl(); 526 hideInformationControl();
527 return; 527 return;