IDocumentProvider documentProvider= editor.getDocumentProvider();
if (documentProvider != null) {
IDocument document= documentProvider.getDocument(editor.getEditorInput());
if (document != null)
document.removeDocumentListener(this);
}
// IPreferenceStore preferenceStore= getPreferenceStore();
// if (preferenceStore != null)
// preferenceStore.removePropertyChangeListener(this);