Searched refs:javaEditor (Results 1 – 1 of 1) sorted by relevance
274 JavaEditor javaEditor = (JavaEditor) newEditor; in checkXmlNavigation() local275 document = javaEditor.getDocumentProvider().getDocument(javaEditor.getEditorInput()); in checkXmlNavigation()276 IRegion range = javaEditor.getHighlightRange(); in checkXmlNavigation()