An IDocumentListener may call back to this method when being inside a document notification. @param listener the listener to be removed
IDocumentListener
117118119120121122123124125126127
IDocument oldDocument= getDocument(); super.setDocument(document); if (oldDocument != null) { oldDocument.removeDocumentListener(getDocumentListener()); } if (document != null) { document.addDocumentListener(getDocumentListener()); } }
341342343344345346347348349350351
* Remove document listener. */ protected void disposeElementInfo( Object element, ElementInfo info ) { IDocument document = info.fDocument; document.removeDocumentListener( this ); super.disposeElementInfo( element, info ); }
189190191192193194195196197198199
*/ public void uninstall() { fTextViewer.removeTextInputListener(this); IDocument document= fTextViewer.getDocument(); if (document != null) document.removeDocumentListener(this); if (fColor != null) { if (fDisposeColor) fColor.dispose(); fColor= null;
485486487488489490491492493494495
private void unregister() { if (fDocumentListener != null) { IDocument document= fViewer.getDocument(); if (document != null) document.removeDocumentListener(fDocumentListener); fDocumentListener= null; } fDocumentEvents.clear(); StyledText styledText= fViewer.getTextWidget();
10471048104910501051105210531054105510561057
*/ private void unregister() { if (fDocumentListener != null) { IDocument document= fContentAssistSubjectControlAdapter.getDocument(); if (document != null) document.removeDocumentListener(fDocumentListener); fDocumentListener= null; } fDocumentEvents.clear(); if (fKeyListener != null && fContentAssistSubjectControlAdapter.getControl() != null && !fContentAssistSubjectControlAdapter.getControl().isDisposed()) {
850851852853854855856857858859860
IDocumentProvider documentProvider= editor.getDocumentProvider(); if (documentProvider != null) { IDocument document= documentProvider.getDocument(editor.getEditorInput()); if (document != null) document.removeDocumentListener(this); } } /*
112113114115116117118119120121122
331332333334335336337338339340341
250251252253254255256257258259260
IDocumentProvider documentProvider = getDocumentProvider(); if (documentProvider != null) { IDocument document = documentProvider .getDocument(getEditorInput()); if (document != null) document.removeDocumentListener(this); } } /* * @see
239240241242243244245246247248249
return false; } } finally { if(document != null) document.removeDocumentListener(listener); } return true; } IFile getCurrentFile() {