Mercurial > projects > dwt-addons
diff dwtx/jface/text/source/AnnotationBarHoverManager.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 diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dwtx/jface/text/source/AnnotationBarHoverManager.d Sat Aug 23 19:10:48 2008 +0200 @@ -0,0 +1,794 @@ +/******************************************************************************* + * 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.AnnotationBarHoverManager; + +import dwt.dwthelper.utils; + +import java.util.Iterator; + +import dwt.DWT; +import dwt.custom.StyledText; +import dwt.events.ControlEvent; +import dwt.events.ControlListener; +import dwt.events.DisposeEvent; +import dwt.events.DisposeListener; +import dwt.events.KeyEvent; +import dwt.events.KeyListener; +import dwt.events.MouseEvent; +import dwt.events.MouseListener; +import dwt.events.MouseMoveListener; +import dwt.events.MouseTrackAdapter; +import dwt.events.ShellEvent; +import dwt.events.ShellListener; +import dwt.graphics.Point; +import dwt.graphics.Rectangle; +import dwt.widgets.Control; +import dwt.widgets.Display; +import dwt.widgets.Event; +import dwt.widgets.Listener; +import dwtx.core.runtime.Assert; +import dwtx.jface.internal.text.InformationControlReplacer; +import dwtx.jface.internal.text.InternalAccessor; +import dwtx.jface.text.AbstractHoverInformationControlManager; +import dwtx.jface.text.AbstractInformationControlManager; +import dwtx.jface.text.BadLocationException; +import dwtx.jface.text.IDocument; +import dwtx.jface.text.IInformationControl; +import dwtx.jface.text.IInformationControlCreator; +import dwtx.jface.text.IRegion; +import dwtx.jface.text.ITextViewerExtension5; +import dwtx.jface.text.JFaceTextUtil; +import dwtx.jface.text.Region; +import dwtx.jface.text.TextUtilities; +import dwtx.jface.text.ITextViewerExtension8.EnrichMode; + + +/** + * This manager controls the layout, content, and visibility of an information + * control in reaction to mouse hover events issued by the vertical ruler of a + * source viewer. + * @since 2.0 + */ +public class AnnotationBarHoverManager : AbstractHoverInformationControlManager { + + /** + * The information control closer for the hover information. Closes the information control as soon as the mouse pointer leaves the subject area, a mouse button is pressed, the user presses a key, or the subject control is resized or moved. + * + * @since 3.0 + * @deprecated As of 3.4, no longer used as closer from super class is used + */ + protected class Closer : MouseTrackAdapter , IInformationControlCloser, MouseListener, MouseMoveListener, ControlListener, KeyListener, DisposeListener, ShellListener, Listener { + + /** The closer's subject control */ + private Control fSubjectControl; + /** The subject area */ + private Rectangle fSubjectArea; + /** Indicates whether this closer is active */ + private bool fIsActive= false; + /** The information control. */ + private IInformationControl fInformationControlToClose; + /** + * <code>true</code> if a wheel handler is installed. + * @since 3.2 + */ + private bool fHasWheelFilter= false; + /** + * The cached display. + * @since 3.2 + */ + private Display fDisplay; + + + /** + * Creates a new information control closer. + */ + public Closer() { + } + + /* + * @see IInformationControlCloser#setSubjectControl(Control) + */ + public void setSubjectControl(Control control) { + fSubjectControl= control; + } + + /* + * @see IInformationControlCloser#setHoverControl(IHoverControl) + */ + public void setInformationControl(IInformationControl control) { + fInformationControlToClose= control; + } + + /* + * @see IInformationControlCloser#start(Rectangle) + */ + public void start(Rectangle subjectArea) { + + if (fIsActive) return; + fIsActive= true; + + fSubjectArea= subjectArea; + + fInformationControlToClose.addDisposeListener(this); + if (fSubjectControl !is null && !fSubjectControl.isDisposed()) { + fSubjectControl.addMouseListener(this); + fSubjectControl.addMouseMoveListener(this); + fSubjectControl.addMouseTrackListener(this); + fSubjectControl.getShell().addShellListener(this); + fSubjectControl.addControlListener(this); + fSubjectControl.addKeyListener(this); + + fDisplay= fSubjectControl.getDisplay(); + if (!fDisplay.isDisposed() && fHideOnMouseWheel) { + fHasWheelFilter= true; + fDisplay.addFilter(DWT.MouseWheel, this); + } + } + } + + /* + * @see IInformationControlCloser#stop() + */ + public void stop() { + + if (!fIsActive) + return; + fIsActive= false; + + if (fSubjectControl !is null && !fSubjectControl.isDisposed()) { + fSubjectControl.removeMouseListener(this); + fSubjectControl.removeMouseMoveListener(this); + fSubjectControl.removeMouseTrackListener(this); + fSubjectControl.getShell().removeShellListener(this); + fSubjectControl.removeControlListener(this); + fSubjectControl.removeKeyListener(this); + } + + if (fDisplay !is null && !fDisplay.isDisposed() && fHasWheelFilter) + fDisplay.removeFilter(DWT.MouseWheel, this); + fHasWheelFilter= false; + + fDisplay= null; + + } + + /** + * Stops the information control and if <code>delayRestart</code> is set allows restart only after a certain delay. + * + * @param delayRestart <code>true</code> if restart should be delayed + * @deprecated As of 3.4, replaced by {@link #stop()}. Note that <code>delayRestart</code> was never honored. + */ + protected void stop(bool delayRestart) { + stop(); + } + + /* + * @see dwt.events.MouseMoveListener#mouseMove(dwt.events.MouseEvent) + */ + public void mouseMove(MouseEvent event) { + if (!fSubjectArea.contains(event.x, event.y)) + hideInformationControl(); + } + + /* + * @see dwt.events.MouseListener#mouseUp(dwt.events.MouseEvent) + */ + public void mouseUp(MouseEvent event) { + } + + /* + * @see MouseListener#mouseDown(MouseEvent) + */ + public void mouseDown(MouseEvent event) { + hideInformationControl(); + } + + /* + * @see MouseListener#mouseDoubleClick(MouseEvent) + */ + public void mouseDoubleClick(MouseEvent event) { + hideInformationControl(); + } + + /* + * @see dwt.widgets.Listener#handleEvent(dwt.widgets.Event) + * @since 3.2 + */ + public void handleEvent(Event event) { + if (event.type is DWT.MouseWheel) + hideInformationControl(); + } + + /* + * @see MouseTrackAdapter#mouseExit(MouseEvent) + */ + public void mouseExit(MouseEvent event) { + if (!fAllowMouseExit) + hideInformationControl(); + } + + /* + * @see ControlListener#controlResized(ControlEvent) + */ + public void controlResized(ControlEvent event) { + hideInformationControl(); + } + + /* + * @see ControlListener#controlMoved(ControlEvent) + */ + public void controlMoved(ControlEvent event) { + hideInformationControl(); + } + + /* + * @see KeyListener#keyReleased(KeyEvent) + */ + public void keyReleased(KeyEvent event) { + } + + /* + * @see KeyListener#keyPressed(KeyEvent) + */ + public void keyPressed(KeyEvent event) { + hideInformationControl(); + } + + /* + * @see dwt.events.ShellListener#shellActivated(dwt.events.ShellEvent) + * @since 3.1 + */ + public void shellActivated(ShellEvent e) { + } + + /* + * @see dwt.events.ShellListener#shellClosed(dwt.events.ShellEvent) + * @since 3.1 + */ + public void shellClosed(ShellEvent e) { + } + + /* + * @see dwt.events.ShellListener#shellDeactivated(dwt.events.ShellEvent) + * @since 3.1 + */ + public void shellDeactivated(ShellEvent e) { + hideInformationControl(); + } + + /* + * @see dwt.events.ShellListener#shellDeiconified(dwt.events.ShellEvent) + * @since 3.1 + */ + public void shellDeiconified(ShellEvent e) { + } + + /* + * @see dwt.events.ShellListener#shellIconified(dwt.events.ShellEvent) + * @since 3.1 + */ + public void shellIconified(ShellEvent e) { + } + + /* + * @see dwt.events.DisposeListener#widgetDisposed(dwt.events.DisposeEvent) + */ + public void widgetDisposed(DisposeEvent e) { + hideInformationControl(); + } + } + + /** The source viewer the manager is connected to */ + private ISourceViewer fSourceViewer; + /** The vertical ruler the manager is registered with */ + private IVerticalRulerInfo fVerticalRulerInfo; + /** The annotation hover the manager uses to retrieve the information to display. Can be <code>null</code>. */ + private IAnnotationHover fAnnotationHover; + /** + * Indicates whether the mouse cursor is allowed to leave the subject area without closing the hover. + * @since 3.0 + */ + protected bool fAllowMouseExit= false; + /** + * Whether we should hide the over on mouse wheel action. + * + * @since 3.2 + */ + private bool fHideOnMouseWheel= true; + + /** + * The current annotation hover. + * @since 3.2 + */ + private IAnnotationHover fCurrentHover; + + /** + * Creates an annotation hover manager with the given parameters. In addition, + * the hovers anchor is RIGHT and the margin is 5 points to the right. + * + * @param sourceViewer the source viewer this manager connects to + * @param ruler the vertical ruler this manager connects to + * @param annotationHover the annotation hover providing the information to be displayed + * @param creator the information control creator + * @deprecated As of 2.1, replaced by {@link AnnotationBarHoverManager#AnnotationBarHoverManager(IVerticalRulerInfo, ISourceViewer, IAnnotationHover, IInformationControlCreator)} + */ + public AnnotationBarHoverManager(ISourceViewer sourceViewer, IVerticalRuler ruler, IAnnotationHover annotationHover, IInformationControlCreator creator) { + this(ruler, sourceViewer, annotationHover, creator); + } + + /** + * Creates an annotation hover manager with the given parameters. In addition, + * the hovers anchor is RIGHT and the margin is 5 points to the right. + * + * @param rulerInfo the vertical 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 or <code>null</code> if none + * @param creator the information control creator + * @since 2.1 + */ + public AnnotationBarHoverManager(IVerticalRulerInfo rulerInfo, ISourceViewer sourceViewer, IAnnotationHover annotationHover, IInformationControlCreator creator) { + super(creator); + + Assert.isNotNull(sourceViewer); + + fSourceViewer= sourceViewer; + fVerticalRulerInfo= rulerInfo; + fAnnotationHover= annotationHover; + + setAnchor(ANCHOR_RIGHT); + setMargins(5, 0); + // use closer from super class + } + + /* + * @see dwtx.jface.text.AbstractInformationControlManager#computeInformation() + */ + protected void computeInformation() { + fAllowMouseExit= false; + MouseEvent event= getHoverEvent(); + IAnnotationHover hover= getHover(event); + if (hover is null) { + setInformation(null, null); + return; + } + + int line= getHoverLine(event); + + if (hover instanceof IAnnotationHoverExtension) { + IAnnotationHoverExtension extension= (IAnnotationHoverExtension) hover; + ILineRange range= extension.getHoverLineRange(fSourceViewer, line); + setCustomInformationControlCreator(extension.getHoverControlCreator()); + range= adaptLineRange(range, line); + if (range !is null) + setInformation(extension.getHoverInfo(fSourceViewer, range, computeNumberOfVisibleLines()), computeArea(range)); + else + setInformation(null, null); + + } else { + setCustomInformationControlCreator(null); + setInformation(hover.getHoverInfo(fSourceViewer, line), computeArea(line)); + } + + } + + /* + * @see dwtx.jface.text.AbstractInformationControlManager#showInformationControl(dwt.graphics.Rectangle) + * @since 3.2 + */ + protected void showInformationControl(Rectangle subjectArea) { + super.showInformationControl(subjectArea); + fCurrentHover= getHover(getHoverEvent()); + } + + /* + * @see dwtx.jface.text.AbstractInformationControlManager#hideInformationControl() + * @since 3.2 + */ + protected void hideInformationControl() { + fCurrentHover= null; + super.hideInformationControl(); + } + + /** + * Adapts a given line range so that the result is a line range that does + * not overlap with any collapsed region and fits into the view port of the + * attached viewer. + * + * @param lineRange the original line range + * @param line the anchor line + * @return the adapted line range + * @since 3.0 + */ + private ILineRange adaptLineRange(ILineRange lineRange, int line) { + if (lineRange !is null) { + lineRange= adaptLineRangeToFolding(lineRange, line); + if (lineRange !is null) + return adaptLineRangeToViewport(lineRange); + } + return null; + } + + /** + * Adapts a given line range so that the result is a line range that does + * not overlap with any collapsed region of the attached viewer. + * + * @param lineRange the original line range + * @param line the anchor line + * @return the adapted line range + * @since 3.0 + */ + private ILineRange adaptLineRangeToFolding(ILineRange lineRange, int line) { + + if (fSourceViewer instanceof ITextViewerExtension5) { + ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; + + try { + IRegion region= convertToRegion(lineRange); + IRegion[] coverage= extension.getCoveredModelRanges(region); + if (coverage !is null && coverage.length > 0) { + IRegion container= findRegionContainingLine(coverage, line); + if (container !is null) + return convertToLineRange(container); + } + + } catch (BadLocationException x) { + } + + return null; + } + + return lineRange; + } + + /** + * Adapts a given line range so that the result is a line range that fits + * into the view port of the attached viewer. + * + * @param lineRange the original line range + * @return the adapted line range + * @since 3.0 + */ + private ILineRange adaptLineRangeToViewport(ILineRange lineRange) { + + try { + StyledText text= fSourceViewer.getTextWidget(); + + int topLine= text.getTopIndex(); + int rangeTopLine= getWidgetLineNumber(lineRange.getStartLine()); + int topDelta= Math.max(topLine - rangeTopLine, 0); + + Rectangle size= text.getClientArea(); + Rectangle trim= text.computeTrim(0, 0, 0, 0); + int height= size.height - trim.height; + + int lines= JFaceTextUtil.getLineIndex(text, height) - text.getTopIndex(); + + int bottomLine= topLine + lines; + + int rangeBottomLine= getWidgetLineNumber(lineRange.getStartLine() + lineRange.getNumberOfLines() - 1); + int bottomDelta= Math.max(rangeBottomLine - bottomLine, 0); + + return new LineRange(lineRange.getStartLine() + topDelta, lineRange.getNumberOfLines() - bottomDelta - topDelta); + + } catch (BadLocationException ex) { + } + + return null; + } + + /** + * Converts a line range into a character range. + * + * @param lineRange the line range + * @return the corresponding character range + * @throws BadLocationException in case the given line range is invalid + */ + private IRegion convertToRegion(ILineRange lineRange) throws BadLocationException { + IDocument document= fSourceViewer.getDocument(); + int startOffset= document.getLineOffset(lineRange.getStartLine()); + int endLine= lineRange.getStartLine() + Math.max(0, lineRange.getNumberOfLines() - 1); + IRegion lineInfo= document.getLineInformation(endLine); + int endOffset= lineInfo.getOffset() + lineInfo.getLength(); + return new Region(startOffset, endOffset - startOffset); + } + + /** + * Returns the region out of the given set that contains the given line or + * <code>null</code>. + * + * @param regions the set of regions + * @param line the line + * @return the region of the set that contains the line + * @throws BadLocationException in case line is invalid + */ + private IRegion findRegionContainingLine(IRegion[] regions, int line) throws BadLocationException { + IDocument document= fSourceViewer.getDocument(); + IRegion lineInfo= document.getLineInformation(line); + for (int i= 0; i < regions.length; i++) { + if (TextUtilities.overlaps(regions[i], lineInfo)) + return regions[i]; + } + return null; + } + + /** + * Converts a given character region into a line range. + * + * @param region the character region + * @return the corresponding line range + * @throws BadLocationException in case the given region in invalid + */ + private ILineRange convertToLineRange(IRegion region) throws BadLocationException { + IDocument document= fSourceViewer.getDocument(); + int startLine= document.getLineOfOffset(region.getOffset()); + int endLine= document.getLineOfOffset(region.getOffset() + region.getLength()); + return new LineRange(startLine, endLine - startLine + 1); + } + + /** + * Returns the visible area of the vertical ruler covered by the given line + * range. + * + * @param lineRange the line range + * @return the visible area + */ + private Rectangle computeArea(ILineRange lineRange) { + try { + StyledText text= fSourceViewer.getTextWidget(); + final int startLine= getWidgetLineNumber(lineRange.getStartLine()); + int y= JFaceTextUtil.computeLineHeight(text, 0, startLine, startLine) - text.getTopPixel(); + int height= JFaceTextUtil.computeLineHeight(text, startLine, startLine + lineRange.getNumberOfLines(), lineRange.getNumberOfLines()); + Point size= fVerticalRulerInfo.getControl().getSize(); + return new Rectangle(0, y, size.x, height); + } catch (BadLocationException x) { + } + return null; + } + + /** + * Returns the number of the currently visible lines. + * + * @return the number of the currently visible lines + * @deprecated to avoid deprecation warning + */ + private int computeNumberOfVisibleLines() { + // Hack to reduce amount of copied code. + return LineNumberRulerColumn.getVisibleLinesInViewport(fSourceViewer.getTextWidget()); + } + + /** + * Determines the hover to be used to display information based on the source of the + * mouse hover event. If <code>fVerticalRulerInfo</code> is not a composite ruler, the + * standard hover is returned. + * + * @param event the source of the mouse hover event + * @return the hover depending on <code>source</code>, or <code>fAnnotationHover</code> if none can be found. + * @since 3.0 + */ + private IAnnotationHover getHover(MouseEvent event) { + if (event is null || event.getSource() is null) + return fAnnotationHover; + + if (fVerticalRulerInfo instanceof CompositeRuler) { + CompositeRuler comp= (CompositeRuler) fVerticalRulerInfo; + for (Iterator it= comp.getDecoratorIterator(); it.hasNext();) { + Object o= it.next(); + if (o instanceof IVerticalRulerInfoExtension && o instanceof IVerticalRulerInfo) { + if (((IVerticalRulerInfo) o).getControl() is event.getSource()) { + IAnnotationHover hover= ((IVerticalRulerInfoExtension) o).getHover(); + if (hover !is null) + return hover; + } + } + } + } + return fAnnotationHover; + } + + /** + * Returns the line of interest deduced from the mouse hover event. + * + * @param event a mouse hover event that triggered hovering + * @return the document model line number on which the hover event occurred or <code>-1</code> if there is no event + * @since 3.0 + */ + private int getHoverLine(MouseEvent event) { + return event is null ? -1 : fVerticalRulerInfo.toDocumentLineNumber(event.y); + } + + /** + * Returns for the widget line number for the given document line number. + * + * @param line the absolute line number + * @return the line number relative to the viewer's visible region + * @throws BadLocationException if <code>line</code> is not valid in the viewer's document + */ + private int getWidgetLineNumber(int line) throws BadLocationException { + if (fSourceViewer instanceof ITextViewerExtension5) { + ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; + return extension.modelLine2WidgetLine(line); + } + + IRegion region= fSourceViewer.getVisibleRegion(); + int firstLine= fSourceViewer.getDocument().getLineOfOffset(region.getOffset()); + return line - firstLine; + } + + /** + * Determines graphical area covered by the given line. + * + * @param line the number of the line in the viewer whose graphical extend in the vertical ruler must be computed + * @return the graphical extend of the given line + */ + private Rectangle computeArea(int line) { + try { + StyledText text= fSourceViewer.getTextWidget(); + int widgetLine= getWidgetLineNumber(line); + int y= JFaceTextUtil.computeLineHeight(text, 0, widgetLine, widgetLine) - text.getTopPixel(); + Point size= fVerticalRulerInfo.getControl().getSize(); + return new Rectangle(0, y, size.x, text.getLineHeight(text.getOffsetAtLine(widgetLine))); + } catch (IllegalArgumentException ex) { + } catch (BadLocationException ex) { + } + return null; + } + + /** + * Returns the annotation hover for this hover manager. + * + * @return the annotation hover for this hover manager or <code>null</code> if none + * @since 2.1 + */ + protected IAnnotationHover getAnnotationHover() { + return fAnnotationHover; + } + + /** + * Returns the source viewer for this hover manager. + * + * @return the source viewer for this hover manager + * @since 2.1 + */ + protected ISourceViewer getSourceViewer() { + return fSourceViewer; + } + + /** + * Returns the vertical ruler info for this hover manager + * + * @return the vertical ruler info for this hover manager + * @since 2.1 + */ + protected IVerticalRulerInfo getVerticalRulerInfo() { + return fVerticalRulerInfo; + } + + /* + * @see dwtx.jface.text.AbstractInformationControlManager#computeSizeConstraints(dwt.widgets.Control, dwt.graphics.Rectangle, dwtx.jface.text.IInformationControl) + * @since 3.0 + */ + protected Point computeSizeConstraints(Control subjectControl, Rectangle subjectArea, IInformationControl informationControl) { + + Point constraints= super.computeSizeConstraints(subjectControl, subjectArea, informationControl); + + // make as big as text area, if possible + StyledText styledText= fSourceViewer.getTextWidget(); + if (styledText !is null) { + Rectangle r= styledText.getClientArea(); + if (r !is null) { + constraints.x= r.width; + constraints.y= r.height; + } + } + + return constraints; + } + + /* + * @see dwtx.jface.text.AbstractInformationControlManager#computeLocation(dwt.graphics.Rectangle, dwt.graphics.Point, dwtx.jface.text.AbstractInformationControlManager.Anchor) + * @since 3.0 + */ + protected Point computeLocation(Rectangle subjectArea, Point controlSize, Anchor anchor) { + MouseEvent event= getHoverEvent(); + IAnnotationHover hover= getHover(event); + + bool allowMouseExit= false; + if (hover instanceof IAnnotationHoverExtension) { + IAnnotationHoverExtension extension= (IAnnotationHoverExtension) hover; + allowMouseExit= extension.canHandleMouseCursor(); + } + bool hideOnMouseWheel= true; + if (hover instanceof IAnnotationHoverExtension2) { + IAnnotationHoverExtension2 extension= (IAnnotationHoverExtension2) hover; + hideOnMouseWheel= !extension.canHandleMouseWheel(); + } + fHideOnMouseWheel= hideOnMouseWheel; + + if (allowMouseExit) { + fAllowMouseExit= true; + + Control subjectControl= getSubjectControl(); + // return a location that just overlaps the annotation on the bar + if (anchor is AbstractInformationControlManager.ANCHOR_RIGHT) + return subjectControl.toDisplay(subjectArea.x - 4, subjectArea.y - 2); + else if (anchor is AbstractInformationControlManager.ANCHOR_LEFT) + return subjectControl.toDisplay(subjectArea.x + subjectArea.width - controlSize.x + 4, subjectArea.y - 2); + } + + fAllowMouseExit= false; + return super.computeLocation(subjectArea, controlSize, anchor); + } + + /** + * Returns the currently shown annotation hover or <code>null</code> if none + * hover is shown. + * + * @return the currently shown annotation hover or <code>null</code> + * @since 3.2 + */ + public IAnnotationHover getCurrentAnnotationHover() { + return fCurrentHover; + } + + /** + * Returns an adapter that gives access to internal methods. + * <p> + * <strong>Note:</strong> This method is not intended to be referenced or overridden by clients. + * </p> + * + * @return the replaceable information control accessor + * @since 3.4 + * @noreference This method is not intended to be referenced by clients. + * @nooverride This method is not intended to be re-implemented or extended by clients. + */ + public InternalAccessor getInternalAccessor() { + return new InternalAccessor() { + public IInformationControl getCurrentInformationControl() { + return AnnotationBarHoverManager.super.getInternalAccessor().getCurrentInformationControl(); + } + + public void setInformationControlReplacer(InformationControlReplacer replacer) { + AnnotationBarHoverManager.super.getInternalAccessor().setInformationControlReplacer(replacer); + } + + public InformationControlReplacer getInformationControlReplacer() { + return AnnotationBarHoverManager.super.getInternalAccessor().getInformationControlReplacer(); + } + + public bool canReplace(IInformationControl control) { + return AnnotationBarHoverManager.super.getInternalAccessor().canReplace(control); + } + + public bool isReplaceInProgress() { + return AnnotationBarHoverManager.super.getInternalAccessor().isReplaceInProgress(); + } + + public void replaceInformationControl(bool takeFocus) { + AnnotationBarHoverManager.super.getInternalAccessor().replaceInformationControl(takeFocus); + } + + public void cropToClosestMonitor(Rectangle bounds) { + AnnotationBarHoverManager.super.getInternalAccessor().cropToClosestMonitor(bounds); + } + + public void setHoverEnrichMode(EnrichMode mode) { + AnnotationBarHoverManager.super.getInternalAccessor().setHoverEnrichMode(mode); + } + + public bool getAllowMouseExit() { + return fAllowMouseExit; + } + }; + } +} +