457458459460461462463464465466467
return true; } XJWindow window = getWindowContainingDocumentForPath(file); if(window != null) { window.selectDocument(window.getDocumentForPath(file)); window.bringToFront(); return true; } else { XJDocument document = newDocument(false, getDocumentTypeForPath(file)); if(document == null)