dockview 4.11.0 → 4.12.0

package/dist/dockview.amd.js

@@ -1,6 +1,6 @@
 /**
  * dockview
- * @version 4.11.0
+ * @version 4.12.0
  * @link https://github.com/mathuo/dockview
  * @license MIT
  */
@@ -3781,8 +3781,8 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
       /**
        * Create a component from a serialized object.
        */
-      fromJSON(data) {
-          this.component.fromJSON(data);
+      fromJSON(data, options) {
+          this.component.fromJSON(data, options);
       }
       /**
        * Create a serialized object of the current component.
@@ -5013,6 +5013,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
           }
           if (doRender) {
               const focusTracker = trackFocus(container);
+              this.focusTracker = focusTracker;
               const disposable = new CompositeDisposable();
               disposable.addDisposables(focusTracker, focusTracker.onDidFocus(() => this._onDidFocus.fire()), focusTracker.onDidBlur(() => this._onDidBlur.fire()));
               this.disposable.value = disposable;
@@ -5040,6 +5041,16 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
           this.disposable.dispose();
           super.dispose();
       }
+      /**
+       * Refresh the focus tracker state to handle cases where focus state
+       * gets out of sync due to programmatic panel activation
+       */
+      refreshFocusState() {
+          var _a;
+          if ((_a = this.focusTracker) === null || _a === void 0 ? void 0 : _a.refreshState) {
+              this.focusTracker.refreshState();
+          }
+      }
   }
 
   function addGhostImage(dataTransfer, ghostElement, options) {
@@ -6366,8 +6377,11 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
           this._activePanel = panel;
           if (panel) {
               this.tabsContainer.setActivePanel(panel);
+              this.contentContainer.openPanel(panel);
               panel.layout(this._width, this._height);
               this.updateMru(panel);
+              // Refresh focus state to handle programmatic activation without DOM focus change
+              this.contentContainer.refreshFocusState();
               this._onDidActivePanelChange.fire({
                   panel,
               });
@@ -7197,6 +7211,18 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
               params: this._params,
           });
       }
+      updateFromStateModel(state) {
+          var _a, _b, _c;
+          this._maximumHeight = state.maximumHeight;
+          this._minimumHeight = state.minimumHeight;
+          this._maximumWidth = state.maximumWidth;
+          this._minimumWidth = state.minimumWidth;
+          this.update({ params: (_a = state.params) !== null && _a !== void 0 ? _a : {} });
+          this.setTitle((_b = state.title) !== null && _b !== void 0 ? _b : this.id);
+          this.setRenderer((_c = state.renderer) !== null && _c !== void 0 ? _c : this.accessor.renderer);
+          // state.contentComponent;
+          // state.tabComponent;
+      }
       updateParentGroup(group, options) {
           this._group = group;
           this.api.group = this._group;
@@ -8960,7 +8986,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   : (_e = (_d = this.options.floatingGroupBounds) === null || _d === void 0 ? void 0 : _d.minimumHeightWithinViewport) !== null && _e !== void 0 ? _e : DEFAULT_FLOATING_GROUP_OVERFLOW_SIZE }));
           const el = group.element.querySelector('.dv-void-container');
           if (!el) {
-              throw new Error('failed to find drag handle');
+              throw new Error('dockview: failed to find drag handle');
           }
           overlay.setupDrag(el, {
               inDragMode: typeof (options === null || options === void 0 ? void 0 : options.inDragMode) === 'boolean'
@@ -9032,7 +9058,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
               case 'right':
                   return this.createGroupAtLocation([this.gridview.length], undefined, options); // insert into last position
               default:
-                  throw new Error(`unsupported position ${position}`);
+                  throw new Error(`dockview: unsupported position ${position}`);
           }
       }
       updateOptions(options) {
@@ -9178,15 +9204,48 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
           }
           return result;
       }
-      fromJSON(data) {
+      fromJSON(data, options) {
           var _a, _b;
+          const existingPanels = new Map();
+          let tempGroup;
+          if (options === null || options === void 0 ? void 0 : options.reuseExistingPanels) {
+              /**
+               * What are we doing here?
+               *
+               * 1. Create a temporary group to hold any panels that currently exist and that also exist in the new layout
+               * 2. Remove that temporary group from the group mapping so that it doesn't get cleared when we clear the layout
+               */
+              tempGroup = this.createGroup();
+              this._groups.delete(tempGroup.api.id);
+              const newPanels = Object.keys(data.panels);
+              for (const panel of this.panels) {
+                  if (newPanels.includes(panel.api.id)) {
+                      existingPanels.set(panel.api.id, panel);
+                  }
+              }
+              this.movingLock(() => {
+                  Array.from(existingPanels.values()).forEach((panel) => {
+                      this.moveGroupOrPanel({
+                          from: {
+                              groupId: panel.api.group.api.id,
+                              panelId: panel.api.id,
+                          },
+                          to: {
+                              group: tempGroup,
+                              position: 'center',
+                          },
+                          keepEmptyGroups: true,
+                      });
+                  });
+              });
+          }
           this.clear();
           if (typeof data !== 'object' || data === null) {
-              throw new Error('serialized layout must be a non-null object');
+              throw new Error('dockview: serialized layout must be a non-null object');
           }
           const { grid, panels, activeGroup } = data;
           if (grid.root.type !== 'branch' || !Array.isArray(grid.root.data)) {
-              throw new Error('root must be of type branch');
+              throw new Error('dockview: root must be of type branch');
           }
           try {
               // take note of the existing dimensions
@@ -9195,7 +9254,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
               const createGroupFromSerializedState = (data) => {
                   const { id, locked, hideHeader, views, activeView } = data;
                   if (typeof id !== 'string') {
-                      throw new Error('group id must be of type string');
+                      throw new Error('dockview: group id must be of type string');
                   }
                   const group = this.createGroup({
                       id,
@@ -9210,17 +9269,38 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                        * In running this section first we avoid firing lots of 'add' events in the event of a failure
                        * due to a corruption of input data.
                        */
-                      const panel = this._deserializer.fromJSON(panels[child], group);
-                      createdPanels.push(panel);
+                      const existingPanel = existingPanels.get(child);
+                      if (tempGroup && existingPanel) {
+                          this.movingLock(() => {
+                              tempGroup.model.removePanel(existingPanel);
+                          });
+                          createdPanels.push(existingPanel);
+                          existingPanel.updateFromStateModel(panels[child]);
+                      }
+                      else {
+                          const panel = this._deserializer.fromJSON(panels[child], group);
+                          createdPanels.push(panel);
+                      }
                   }
                   for (let i = 0; i < views.length; i++) {
                       const panel = createdPanels[i];
                       const isActive = typeof activeView === 'string' &&
                           activeView === panel.id;
-                      group.model.openPanel(panel, {
-                          skipSetActive: !isActive,
-                          skipSetGroupActive: true,
-                      });
+                      const hasExisting = existingPanels.has(panel.api.id);
+                      if (hasExisting) {
+                          this.movingLock(() => {
+                              group.model.openPanel(panel, {
+                                  skipSetActive: !isActive,
+                                  skipSetGroupActive: true,
+                              });
+                          });
+                      }
+                      else {
+                          group.model.openPanel(panel, {
+                              skipSetActive: !isActive,
+                              skipSetGroupActive: true,
+                          });
+                      }
                   }
                   if (!group.activePanel && group.panels.length > 0) {
                       group.model.openPanel(group.panels[group.panels.length - 1], {
@@ -9259,7 +9339,9 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                       setTimeout(() => {
                           this.addPopoutGroup(group, {
                               position: position !== null && position !== void 0 ? position : undefined,
-                              overridePopoutGroup: gridReferenceGroup ? group : undefined,
+                              overridePopoutGroup: gridReferenceGroup
+                                  ? group
+                                  : undefined,
                               referenceGroup: gridReferenceGroup
                                   ? this.getPanel(gridReferenceGroup)
                                   : undefined,
@@ -9345,11 +9427,11 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
       addPanel(options) {
           var _a, _b;
           if (this.panels.find((_) => _.id === options.id)) {
-              throw new Error(`panel with id ${options.id} already exists`);
+              throw new Error(`dockview: panel with id ${options.id} already exists`);
           }
           let referenceGroup;
           if (options.position && options.floating) {
-              throw new Error('you can only provide one of: position, floating as arguments to .addPanel(...)');
+              throw new Error('dockview: you can only provide one of: position, floating as arguments to .addPanel(...)');
           }
           const initial = {
               width: options.initialWidth,
@@ -9363,7 +9445,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                       : options.position.referencePanel;
                   index = options.position.index;
                   if (!referencePanel) {
-                      throw new Error(`referencePanel '${options.position.referencePanel}' does not exist`);
+                      throw new Error(`dockview: referencePanel '${options.position.referencePanel}' does not exist`);
                   }
                   referenceGroup = this.findGroup(referencePanel);
               }
@@ -9374,7 +9456,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                           : options.position.referenceGroup;
                   index = options.position.index;
                   if (!referenceGroup) {
-                      throw new Error(`referenceGroup '${options.position.referenceGroup}' does not exist`);
+                      throw new Error(`dockview: referenceGroup '${options.position.referenceGroup}' does not exist`);
                   }
               }
               else {
@@ -9486,7 +9568,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
       }) {
           const group = panel.group;
           if (!group) {
-              throw new Error(`cannot remove panel ${panel.id}. it's missing a group.`);
+              throw new Error(`dockview: cannot remove panel ${panel.id}. it's missing a group.`);
           }
           group.model.removePanel(panel, {
               skipSetActiveGroup: options.skipSetActiveGroup,
@@ -9535,11 +9617,11 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                       ? this.panels.find((panel) => panel.id === options.referencePanel)
                       : options.referencePanel;
                   if (!referencePanel) {
-                      throw new Error(`reference panel ${options.referencePanel} does not exist`);
+                      throw new Error(`dockview: reference panel ${options.referencePanel} does not exist`);
                   }
                   referenceGroup = this.findGroup(referencePanel);
                   if (!referenceGroup) {
-                      throw new Error(`reference group for reference panel ${options.referencePanel} does not exist`);
+                      throw new Error(`dockview: reference group for reference panel ${options.referencePanel} does not exist`);
                   }
               }
               else if (isGroupOptionsWithGroup(options)) {
@@ -9548,7 +9630,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                           ? (_a = this._groups.get(options.referenceGroup)) === null || _a === void 0 ? void 0 : _a.value
                           : options.referenceGroup;
                   if (!referenceGroup) {
-                      throw new Error(`reference group ${options.referenceGroup} does not exist`);
+                      throw new Error(`dockview: reference group ${options.referenceGroup} does not exist`);
                   }
               }
               else {
@@ -9616,7 +9698,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   }
                   return floatingGroup.group;
               }
-              throw new Error('failed to find floating group');
+              throw new Error('dockview: failed to find floating group');
           }
           if (group.api.location.type === 'popout') {
               const selectedGroup = this._popoutGroups.find((_) => _.popoutGroup === group);
@@ -9647,7 +9729,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   this.updateWatermark();
                   return selectedGroup.popoutGroup;
               }
-              throw new Error('failed to find popout group');
+              throw new Error('dockview: failed to find popout group');
           }
           const re = super.doRemoveGroup(group, options);
           if (!(options === null || options === void 0 ? void 0 : options.skipActive)) {
@@ -9678,7 +9760,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
               ? (_a = this._groups.get(sourceGroupId)) === null || _a === void 0 ? void 0 : _a.value
               : undefined;
           if (!sourceGroup) {
-              throw new Error(`Failed to find group id ${sourceGroupId}`);
+              throw new Error(`dockview: Failed to find group id ${sourceGroupId}`);
           }
           if (sourceItemId === undefined) {
               /**
@@ -9703,9 +9785,9 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   skipSetActiveGroup: true,
               }));
               if (!removedPanel) {
-                  throw new Error(`No panel with id ${sourceItemId}`);
+                  throw new Error(`dockview: No panel with id ${sourceItemId}`);
               }
-              if (sourceGroup.model.size === 0) {
+              if (!options.keepEmptyGroups && sourceGroup.model.size === 0) {
                   // remove the group and do not set a new group as active
                   this.doRemoveGroup(sourceGroup, { skipActive: true });
               }
@@ -9715,7 +9797,8 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   var _a;
                   return destinationGroup.model.openPanel(removedPanel, {
                       index: destinationIndex,
-                      skipSetActive: ((_a = options.skipSetActive) !== null && _a !== void 0 ? _a : false) && !isDestinationGroupEmpty,
+                      skipSetActive: ((_a = options.skipSetActive) !== null && _a !== void 0 ? _a : false) &&
+                          !isDestinationGroupEmpty,
                       skipSetGroupActive: true,
                   });
               });
@@ -9770,7 +9853,9 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                       }));
                       this.doRemoveGroup(sourceGroup, { skipActive: true });
                       const newGroup = this.createGroupAtLocation(targetLocation);
-                      this.movingLock(() => newGroup.model.openPanel(removedPanel));
+                      this.movingLock(() => newGroup.model.openPanel(removedPanel, {
+                          skipSetActive: true,
+                      }));
                       this.doSetGroupAndPanelActive(newGroup);
                       this._onDidMovePanel.fire({
                           panel: this.getGroupPanel(sourceItemId),
@@ -9803,7 +9888,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                       skipSetActiveGroup: true,
                   }));
                   if (!removedPanel) {
-                      throw new Error(`No panel with id ${sourceItemId}`);
+                      throw new Error(`dockview: No panel with id ${sourceItemId}`);
                   }
                   const dropLocation = getRelativeLocation(this.gridview.orientation, referenceLocation, destinationTarget);
                   const group = this.createGroupAtLocation(dropLocation);
@@ -9858,7 +9943,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   case 'floating': {
                       const selectedFloatingGroup = this._floatingGroups.find((x) => x.group === from);
                       if (!selectedFloatingGroup) {
-                          throw new Error('failed to find floating group');
+                          throw new Error('dockview: failed to find floating group');
                       }
                       selectedFloatingGroup.dispose();
                       break;
@@ -9866,7 +9951,7 @@ define(['exports', 'react', 'react-dom'], (function (exports, React, ReactDOM) {
                   case 'popout': {
                       const selectedPopoutGroup = this._popoutGroups.find((x) => x.popoutGroup === from);
                       if (!selectedPopoutGroup) {
-                          throw new Error('failed to find popout group');
+                          throw new Error('dockview: failed to find popout group');
                       }
                       // Remove from popout groups list to prevent automatic restoration
                       const index = this._popoutGroups.indexOf(selectedPopoutGroup);