fSourceViewer.removeTextInputListener(this);
		public void dispose() {						if (fManager != null) {				fManager.dispose();				fManager= null;			}						if (fHighlightBrackets != null) {				fHighlightBrackets.dispose();				fHighlightBrackets= null;			}						if (fSourceViewer != null && fBracketHighlighter != null) {								ISelectionProvider provider= fSourceViewer.getSelectionProvider();				provider.removeSelectionChangedListener(this);								fSourceViewer.removeTextListener(this);								StyledText text= fSourceViewer.getTextWidget();				if (text != null && !text.isDisposed()) {					text.removeKeyListener(fBracketHighlighter);					text.removeMouseListener(fBracketHighlighter);				}								fSourceViewer= null;			}		}