Searched refs:documentProvider (Results 1 – 3 of 3) sorted by relevance
97 IDocumentProvider documentProvider = textEditor.getDocumentProvider(); in reveal() local98 IDocument document = documentProvider.getDocument(input); in reveal()
389 IDocumentProvider documentProvider = mEditor.getDocumentProvider(); in getDocument() local390 if (documentProvider == null) { in getDocument()393 IDocument document = documentProvider.getDocument(mEditor.getEditorInput()); in getDocument()
388 IDocumentProvider documentProvider = textEditor.getDocumentProvider(); in revealSource() local389 IDocument document = documentProvider.getDocument(input); in revealSource()