comparison dwtx/jface/text/hyperlink/HyperlinkManager.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 26688fec6d23
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
267 for (int i= 0, length= fHyperlinkDetectors.length; i < length; i++) { 267 for (int i= 0, length= fHyperlinkDetectors.length; i < length; i++) {
268 IHyperlinkDetector detector= fHyperlinkDetectors[i]; 268 IHyperlinkDetector detector= fHyperlinkDetectors[i];
269 if (detector is null) 269 if (detector is null)
270 continue; 270 continue;
271 271
272 if (detector instanceof IHyperlinkDetectorExtension2) { 272 if ( cast(IHyperlinkDetectorExtension2)detector ) {
273 int stateMask= (cast(IHyperlinkDetectorExtension2)detector).getStateMask(); 273 int stateMask= (cast(IHyperlinkDetectorExtension2)detector).getStateMask();
274 if (stateMask !is -1 && stateMask !is fActiveHyperlinkStateMask) 274 if (stateMask !is -1 && stateMask !is fActiveHyperlinkStateMask)
275 continue; 275 continue;
276 else if (stateMask is -1 && fActiveHyperlinkStateMask !is fHyperlinkStateMask) 276 else if (stateMask is -1 && fActiveHyperlinkStateMask !is fHyperlinkStateMask)
277 continue; 277 continue;
352 int widgetOffset= text.getOffsetAtLocation(relativePosition); 352 int widgetOffset= text.getOffsetAtLocation(relativePosition);
353 Point p= text.getLocationAtOffset(widgetOffset); 353 Point p= text.getLocationAtOffset(widgetOffset);
354 if (p.x > relativePosition.x) 354 if (p.x > relativePosition.x)
355 widgetOffset--; 355 widgetOffset--;
356 356
357 if (fTextViewer instanceof ITextViewerExtension5) { 357 if ( cast(ITextViewerExtension5)fTextViewer ) {
358 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer; 358 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
359 return extension.widgetOffset2ModelOffset(widgetOffset); 359 return extension.widgetOffset2ModelOffset(widgetOffset);
360 } 360 }
361 361
362 return widgetOffset + fTextViewer.getVisibleRegion().getOffset(); 362 return widgetOffset + fTextViewer.getVisibleRegion().getOffset();
451 451
452 /* 452 /*
453 * @see dwt.events.MouseMoveListener#mouseMove(dwt.events.MouseEvent) 453 * @see dwt.events.MouseMoveListener#mouseMove(dwt.events.MouseEvent)
454 */ 454 */
455 public void mouseMove(MouseEvent event) { 455 public void mouseMove(MouseEvent event) {
456 if (fHyperlinkPresenter instanceof IHyperlinkPresenterExtension) { 456 if ( cast(IHyperlinkPresenterExtension)fHyperlinkPresenter ) {
457 if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks()) 457 if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks())
458 return; 458 return;
459 } 459 }
460 460
461 if (!isRegisteredStateMask(event.stateMask)) { 461 if (!isRegisteredStateMask(event.stateMask)) {
545 * {@inheritDoc} 545 * {@inheritDoc}
546 * 546 *
547 * @since 3.4 547 * @since 3.4
548 */ 548 */
549 public void mouseExit(MouseEvent e) { 549 public void mouseExit(MouseEvent e) {
550 if (fHyperlinkPresenter instanceof IHyperlinkPresenterExtension) { 550 if ( cast(IHyperlinkPresenterExtension)fHyperlinkPresenter ) {
551 if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks()) 551 if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks())
552 return; 552 return;
553 } 553 }
554 deactivate(); 554 deactivate();
555 } 555 }