}
@Override
protected IOverviewRuler createOverviewRuler(ISharedTextColors sharedColors) {
if (MinimapOverviewRulerPreferencesPage.useMinimap()) {
IOverviewRuler ruler = new MinimapOverviewRuler(getAnnotationAccess(), sharedColors);
Iterator e = getAnnotationPreferences().getAnnotationPreferences().iterator();
while (e.hasNext()) {
AnnotationPreference preference = (AnnotationPreference) e.next();
if (preference.contributesToHeader()) {
ruler.addHeaderAnnotationType(preference.getAnnotationType());
}
}
return ruler;
} else {
return super.createOverviewRuler(sharedColors);