@Override public void uninstall() { if (fListener != null) { fViewer.removeTextInputListener(fListener); if (fDocument != null) { fListener.inputDocumentAboutToBeChanged(fDocument, null); fListener.inputDocumentChanged(fDocument, null); } fListener= null; synchronized (this) { // http://dev.eclipse.org/bugs/show_bug.cgi?id=19135 BackgroundThread bt= fThread; fThread= null; bt.cancel(); } } }
@Override public void uninstall() { if (fListener != null) { fViewer.removeTextInputListener(fListener); if (fDocument != null) { fListener.inputDocumentAboutToBeChanged(fDocument, null); fListener.inputDocumentChanged(fDocument, null); } fListener= null; synchronized (this) { // http://dev.eclipse.org/bugs/show_bug.cgi?id=19135 BackgroundThread bt= fThread; fThread= null; bt.cancel(); } } }