/** * Uninstalls this range. * @see #install() */ public void uninstall() { // http://bugs.eclipse.org/bugs/show_bug.cgi?id=19612 IDocument document= TextViewer.this.getDocument(); if (document != null) { document.removePositionUpdater(this); document.removePosition(fPosition); } if (fTextWidget != null && !fTextWidget.isDisposed()) fTextWidget.removeLineBackgroundListener(this); TextViewer.this.removeTextListener(this); clear(); }
/** * Uninstalls this range. * @see #install() */ public void uninstall() { // http://bugs.eclipse.org/bugs/show_bug.cgi?id=19612 IDocument document= TextViewer.this.getDocument(); if (document != null) { document.removePositionUpdater(this); document.removePosition(fPosition); } if (fTextWidget != null && !fTextWidget.isDisposed()) fTextWidget.removeLineBackgroundListener(this); TextViewer.this.removeTextListener(this); clear(); }