/** * After this method has been executed the caller knows that any installed overview hover has been * installed. */ protected void ensureOverviewHoverManagerInstalled() { if (fOverviewRuler != null && fOverviewRulerAnnotationHover != null && fOverviewRulerHoveringController == null && fHoverControlCreator != null) { fOverviewRulerHoveringController = new OverviewRulerHoverManager( fOverviewRuler, this, fOverviewRulerAnnotationHover, fHoverControlCreator); fOverviewRulerHoveringController.install(fOverviewRuler.getControl()); fOverviewRulerHoveringController .getInternalAccessor() .setInformationControlReplacer(new StickyHoverManager(this)); } }