/*
* @see ISourceViewer#showAnnotations(boolean)
*/
public void showAnnotations(boolean show) {
boolean old = fIsVerticalRulerVisible;
fIsVerticalRulerVisible =
(fVerticalRuler != null && (show || !isVerticalRulerOnlyShowingAnnotations()));
if (old != fIsVerticalRulerVisible && fComposite != null && !fComposite.isDisposed())
fComposite.layout();
if (fIsVerticalRulerVisible && show) ensureAnnotationHoverManagerInstalled();
else if (fVerticalRulerHoveringController != null) {
fVerticalRulerHoveringController.dispose();
fVerticalRulerHoveringController = null;
}
}
/*
* @see TextViewer#activatePlugins()
*/
public void activatePlugins() {
ensureAnnotationHoverManagerInstalled();
ensureOverviewHoverManagerInstalled();
super.activatePlugins();
}
