Mercurial > projects > dwt-addons
view dwtx/jface/text/source/OverviewRulerHoverManager.d @ 129:eb30df5ca28b
Added JFace Text sources
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sat, 23 Aug 2008 19:10:48 +0200 |
parents | |
children | c4fb132a086c |
line wrap: on
line source
/******************************************************************************* * Copyright (c) 2000, 2008 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation * Port to the D programming language: * Frank Benoit <benoit@tionex.de> *******************************************************************************/ module dwtx.jface.text.source.OverviewRulerHoverManager; import dwt.dwthelper.utils; import dwt.custom.StyledText; import dwt.graphics.Point; import dwt.graphics.Rectangle; import dwt.widgets.ScrollBar; import dwtx.jface.text.IInformationControlCreator; /** * This manager controls the layout, content, and visibility of an information * control in reaction to mouse hover events issued by the overview ruler of a * source viewer. * * @since 2.1 */ class OverviewRulerHoverManager : AnnotationBarHoverManager { /** * Creates an overview hover manager with the given parameters. In addition, * the hovers anchor is RIGHT and the margin is 5 points to the right. * * @param ruler the overview ruler this manager connects to * @param sourceViewer the source viewer this manager connects to * @param annotationHover the annotation hover providing the information to be displayed * @param creator the information control creator */ public OverviewRulerHoverManager(IOverviewRuler ruler, ISourceViewer sourceViewer, IAnnotationHover annotationHover, IInformationControlCreator creator) { super(ruler, sourceViewer, annotationHover, creator); setAnchor(ANCHOR_LEFT); StyledText textWidget= sourceViewer.getTextWidget(); if (textWidget !is null) { ScrollBar verticalBar= textWidget.getVerticalBar(); if (verticalBar !is null) setMargins(verticalBar.getSize().x, 5); } } /* * @see AbstractHoverInformationControlManager#computeInformation() */ protected void computeInformation() { Point location= getHoverEventLocation(); int line= getVerticalRulerInfo().toDocumentLineNumber(location.y); IAnnotationHover hover= getAnnotationHover(); IInformationControlCreator controlCreator= null; if (hover instanceof IAnnotationHoverExtension) controlCreator= ((IAnnotationHoverExtension)hover).getHoverControlCreator(); setCustomInformationControlCreator(controlCreator); setInformation(hover.getHoverInfo(getSourceViewer(), line), computeArea(location.y)); } /** * Determines graphical area covered for which the hover is valid. * * @param y y-coordinate in the vertical ruler * @return the graphical extend where the hover is valid */ private Rectangle computeArea(int y) { // This is OK (see constructor) IOverviewRuler overviewRuler= (IOverviewRuler) getVerticalRulerInfo(); int hover_height= overviewRuler.getAnnotationHeight(); int hover_width= getVerticalRulerInfo().getControl().getSize().x; // Calculate y-coordinate for hover int hover_y= y; bool hasAnnotation= true; while (hasAnnotation && hover_y > y - hover_height) { hover_y--; hasAnnotation= overviewRuler.hasAnnotation(hover_y); } hover_y++; return new Rectangle(0, hover_y, hover_width, hover_height); } }