コード例 #1
0
 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);
 }
コード例 #2
0
 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()));
     }
   }
 }
コード例 #3
0
  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);
      }
    }
  }