/** * 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 != null) { ScrollBar verticalBar= textWidget.getVerticalBar(); if (verticalBar != null) setMargins(verticalBar.getSize().x, 5); } }
/** * 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 != null) { ScrollBar verticalBar= textWidget.getVerticalBar(); if (verticalBar != null) setMargins(verticalBar.getSize().x, 5); } }