/*
* @see org.eclipse.jface.text.source.ISourceViewerExtension#showAnnotationsOverview(boolean)
* @since 2.1
*/
public void showAnnotationsOverview(boolean show) {
boolean old = fIsOverviewRulerVisible;
fIsOverviewRulerVisible = (show && fOverviewRuler != null);
if (old != fIsOverviewRulerVisible) {
if (fComposite != null && !fComposite.isDisposed()) fComposite.layout();
if (fIsOverviewRulerVisible) {
ensureOverviewHoverManagerInstalled();
} else if (fOverviewRulerHoveringController != null) {
fOverviewRulerHoveringController.dispose();
fOverviewRulerHoveringController = null;
}
}
}
/*
* @see TextViewer#activatePlugins()
*/
public void activatePlugins() {
ensureAnnotationHoverManagerInstalled();
ensureOverviewHoverManagerInstalled();
super.activatePlugins();
}
