Ejemplo n.º 1
0
 /**
  * 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));
   }
 }