private void openFile(VirtualFile result, final TextRange selectionRange) {
editorAgent.openEditor(
result,
new OpenEditorCallbackImpl() {
@Override
public void onEditorOpened(EditorPartPresenter editor) {
fileOpened(editor, selectionRange);
}
});
}
private void openFile(VirtualFile result) {
editorAgent.openEditor(
result,
new OpenEditorCallbackImpl() {
@Override
public void onEditorOpened(EditorPartPresenter editor) {
fileOpened(editor);
}
});
}
private void openFile(VirtualFile result, final OpenDeclarationDescriptor descriptor) {
final Map<String, EditorPartPresenter> openedEditors = editorAgent.getOpenedEditors();
Log.info(getClass(), result.getPath());
if (openedEditors.containsKey(result.getPath())) {
EditorPartPresenter editorPartPresenter = openedEditors.get(result.getPath());
editorAgent.activateEditor(editorPartPresenter);
fileOpened(editorPartPresenter, descriptor.getOffset());
} else {
editorAgent.openEditor(
result,
new EditorAgent.OpenEditorCallback() {
@Override
public void onEditorOpened(EditorPartPresenter editor) {
fileOpened(editor, descriptor.getOffset());
}
@Override
public void onEditorActivated(EditorPartPresenter editor) {}
});
}
}
