/** @see org.eclipse.ui.texteditor.AbstractTextEditor#dispose() */
@Override
public void dispose() {
this.fColorManager.dispose();
this.fBracketMatcher.dispose();
ISourceViewer sourceViewer = getSourceViewer();
if (sourceViewer instanceof ITextViewerExtension) {
((ITextViewerExtension) sourceViewer).removeVerifyKeyListener(this.fBracketInserter);
}
super.dispose();
}
