private void writeWindow(@NotNull Element res, @Nullable EditorWindow window) {
if (window != null) {
EditorWithProviderComposite[] composites = window.getEditors();
for (int i = 0; i < composites.length; i++) {
VirtualFile file = window.getFileAt(i);
res.addContent(
writeComposite(
file, composites[i], window.isFilePinned(file), window.getSelectedEditor()));
}
}
}
private void writeWindow(final Element res, final EditorWindow window) {
if (window != null) {
final EditorWithProviderComposite[] composites = window.getEditors();
for (int i = 0; i < composites.length; i++) {
final VirtualFile file = window.getFileAt(i);
final boolean isPinned = window.isFilePinned(file);
final EditorWithProviderComposite composite = composites[i];
final EditorWithProviderComposite selectedEditor = window.getSelectedEditor();
writeComposite(res, file, composite, isPinned, selectedEditor);
}
}
}
