public void dispose() {
getEditorPreferenceStore().removePropertyChangeListener(this);
JFaceResources.getFontRegistry().removeListener(this);
JFaceResources.getColorRegistry().removeListener(this);
if (fSourceViewerDecorationSupport != null) {
fSourceViewerDecorationSupport.dispose();
fSourceViewerDecorationSupport = null;
}
if (fActions != null) {
fActions.clear();
fActions = null;
}
}
