Mercurial > projects > dwt-addons

comparison dwtx/jface/text/source/AnnotationBarHoverManager.d @ 134:51e6e63f930e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
426 } 426 }
427 427
428 int line= getHoverLine(event); 428 int line= getHoverLine(event);
429 429
430 if (hover instanceof IAnnotationHoverExtension) { 430 if (hover instanceof IAnnotationHoverExtension) {
431 IAnnotationHoverExtension extension= (IAnnotationHoverExtension) hover; 431 IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
432 ILineRange range= extension.getHoverLineRange(fSourceViewer, line); 432 ILineRange range= extension.getHoverLineRange(fSourceViewer, line);
433 setCustomInformationControlCreator(extension.getHoverControlCreator()); 433 setCustomInformationControlCreator(extension.getHoverControlCreator());
434 range= adaptLineRange(range, line); 434 range= adaptLineRange(range, line);
435 if (range !is null) 435 if (range !is null)
436 setInformation(extension.getHoverInfo(fSourceViewer, range, computeNumberOfVisibleLines()), computeArea(range)); 436 setInformation(extension.getHoverInfo(fSourceViewer, range, computeNumberOfVisibleLines()), computeArea(range));
491 * @since 3.0 491 * @since 3.0
492 */ 492 */
493 private ILineRange adaptLineRangeToFolding(ILineRange lineRange, int line) { 493 private ILineRange adaptLineRangeToFolding(ILineRange lineRange, int line) {
494 494
495 if (fSourceViewer instanceof ITextViewerExtension5) { 495 if (fSourceViewer instanceof ITextViewerExtension5) {
496 ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; 496 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
497 497
498 try { 498 try {
499 IRegion region= convertToRegion(lineRange); 499 IRegion region= convertToRegion(lineRange);
500 IRegion[] coverage= extension.getCoveredModelRanges(region); 500 IRegion[] coverage= extension.getCoveredModelRanges(region);
501 if (coverage !is null && coverage.length > 0) { 501 if (coverage !is null && coverage.length > 0) {
641 private IAnnotationHover getHover(MouseEvent event) { 641 private IAnnotationHover getHover(MouseEvent event) {
642 if (event is null || event.getSource() is null) 642 if (event is null || event.getSource() is null)
643 return fAnnotationHover; 643 return fAnnotationHover;
644 644
645 if (fVerticalRulerInfo instanceof CompositeRuler) { 645 if (fVerticalRulerInfo instanceof CompositeRuler) {
646 CompositeRuler comp= (CompositeRuler) fVerticalRulerInfo; 646 CompositeRuler comp= cast(CompositeRuler) fVerticalRulerInfo;
647 for (Iterator it= comp.getDecoratorIterator(); it.hasNext();) { 647 for (Iterator it= comp.getDecoratorIterator(); it.hasNext();) {
648 Object o= it.next(); 648 Object o= it.next();
649 if (o instanceof IVerticalRulerInfoExtension && o instanceof IVerticalRulerInfo) { 649 if (o instanceof IVerticalRulerInfoExtension && o instanceof IVerticalRulerInfo) {
650 if (((IVerticalRulerInfo) o).getControl() is event.getSource()) { 650 if ((cast(IVerticalRulerInfo) o).getControl() is event.getSource()) {
651 IAnnotationHover hover= ((IVerticalRulerInfoExtension) o).getHover(); 651 IAnnotationHover hover= (cast(IVerticalRulerInfoExtension) o).getHover();
652 if (hover !is null) 652 if (hover !is null)
653 return hover; 653 return hover;
654 } 654 }
655 } 655 }
656 } 656 }
676 * @return the line number relative to the viewer's visible region 676 * @return the line number relative to the viewer's visible region
677 * @throws BadLocationException if <code>line</code> is not valid in the viewer's document 677 * @throws BadLocationException if <code>line</code> is not valid in the viewer's document
678 */ 678 */
679 private int getWidgetLineNumber(int line) throws BadLocationException { 679 private int getWidgetLineNumber(int line) throws BadLocationException {
680 if (fSourceViewer instanceof ITextViewerExtension5) { 680 if (fSourceViewer instanceof ITextViewerExtension5) {
681 ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; 681 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
682 return extension.modelLine2WidgetLine(line); 682 return extension.modelLine2WidgetLine(line);
683 } 683 }
684 684
685 IRegion region= fSourceViewer.getVisibleRegion(); 685 IRegion region= fSourceViewer.getVisibleRegion();
686 int firstLine= fSourceViewer.getDocument().getLineOfOffset(region.getOffset()); 686 int firstLine= fSourceViewer.getDocument().getLineOfOffset(region.getOffset());
765 MouseEvent event= getHoverEvent(); 765 MouseEvent event= getHoverEvent();
766 IAnnotationHover hover= getHover(event); 766 IAnnotationHover hover= getHover(event);
767 767
768 bool allowMouseExit= false; 768 bool allowMouseExit= false;
769 if (hover instanceof IAnnotationHoverExtension) { 769 if (hover instanceof IAnnotationHoverExtension) {
770 IAnnotationHoverExtension extension= (IAnnotationHoverExtension) hover; 770 IAnnotationHoverExtension extension= cast(IAnnotationHoverExtension) hover;
771 allowMouseExit= extension.canHandleMouseCursor(); 771 allowMouseExit= extension.canHandleMouseCursor();
772 } 772 }
773 bool hideOnMouseWheel= true; 773 bool hideOnMouseWheel= true;
774 if (hover instanceof IAnnotationHoverExtension2) { 774 if (hover instanceof IAnnotationHoverExtension2) {
775 IAnnotationHoverExtension2 extension= (IAnnotationHoverExtension2) hover; 775 IAnnotationHoverExtension2 extension= cast(IAnnotationHoverExtension2) hover;
776 hideOnMouseWheel= !extension.canHandleMouseWheel(); 776 hideOnMouseWheel= !extension.canHandleMouseWheel();
777 } 777 }
778 fHideOnMouseWheel= hideOnMouseWheel; 778 fHideOnMouseWheel= hideOnMouseWheel;
779 779
780 if (allowMouseExit) { 780 if (allowMouseExit) {