public DockableEditor(
Image img, VirtualFile file, Presentation presentation, EditorWindow window) {
myImg = img;
myFile = file;
myPresentation = presentation;
myContainer = new DockableEditorTabbedContainer(myProject);
myEditorWindow = window;
myPreferredSize = myEditorWindow.getSize();
myPinned = window.isFilePinned(file);
}
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);
}
}
}