DatabaseEditableObjectFile databaseFile = sourceCodeFile.getDatabaseFile();
if (!editorManager.isFileOpen(databaseFile)) {
editorManager.openFile(databaseFile, requestFocus);
}
BasicTextEditor textEditor = EditorUtil.getFileEditor(databaseFile, virtualFile);
descriptor.navigateIn(textEditor.getEditor());
return;
}
Editor editor = editorManager.getSelectedTextEditor();
if (editor != null && virtualFile == DocumentUtil.getVirtualFile(editor)) {