"Color of the occurences may be changed at\n" + "<a>Annotations</a>: Occurrences (Pydev)", p,
new SelectionListener() {
public void widgetSelected(SelectionEvent e) {
String id = "org.eclipse.ui.editors.preferencePages.Annotations";
IWorkbenchPreferenceContainer workbenchPreferenceContainer = ((IWorkbenchPreferenceContainer) getContainer());
workbenchPreferenceContainer.openPage(id, null);
}
public void widgetDefaultSelected(SelectionEvent e) {
}
});