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