dockview-core 6.6.1 → 7.0.3

package/dist/esm/dockview/dockviewGroupPanelModel.js

@@ -3,7 +3,7 @@ import { getPanelData } from '../dnd/dataTransfer';
 import { addClasses, isAncestor, removeClasses, toggleClass } from '../dom';
 import { addDisposableListener, DockviewEvent, Emitter, } from '../events';
 import { DockviewWillShowOverlayLocationEvent, } from './events';
-import { CompositeDisposable, MutableDisposable, } from '../lifecycle';
+import { CompositeDisposable } from '../lifecycle';
 import { ContentContainer, } from './components/panel/content';
 import { TabsContainer, } from './components/titlebar/tabsContainer';
 import { DockviewUnhandledDragOverEvent, } from './options';
@@ -55,6 +55,14 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
     get activePanel() {
         return this._activePanel;
     }
+    /** DOM id of the content container (the group's tabpanel), referenced by each tab's `aria-controls`. */
+    get contentContainerId() {
+        return this.contentContainer.element.id;
+    }
+    /** The group's content drop target — lets keyboard docking preview a drop here. */
+    get contentDropTarget() {
+        return this.contentContainer.dropTarget;
+    }
     get locked() {
         return this._locked;
     }
@@ -103,11 +111,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         if ((_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.layout) {
             this._activePanel.layout(this._width, this._height);
         }
-        if (this._leftHeaderActions ||
-            this._rightHeaderActions ||
-            this._prefixHeaderActions) {
-            this.updateHeaderActions();
-        }
+        this.updateHeaderActions();
     }
     get location() {
         return this._location;
@@ -127,14 +131,15 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
                 applyZones(['top', 'bottom', 'left', 'right', 'center']);
                 break;
             case 'floating':
-                applyZones(['center']);
-                applyZones(value
-                    ? ['center']
-                    : ['top', 'bottom', 'left', 'right', 'center']);
+                // Floating windows host their own nested gridview, so an edge
+                // drop splits the window's layout just like the main grid.
+                applyZones(['top', 'bottom', 'left', 'right', 'center']);
                 toggleClass(this.container, 'dv-groupview-floating', true);
                 break;
             case 'popout':
-                applyZones(['center']);
+                // Popout windows host their own nested gridview, so an edge
+                // drop splits the window's layout just like the main grid.
+                applyZones(['top', 'bottom', 'left', 'right', 'center']);
                 toggleClass(this.container, 'dv-groupview-popout', true);
                 break;
             case 'edge':
@@ -156,9 +161,6 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this.groupPanel = groupPanel;
         this._isGroupActive = false;
         this._locked = false;
-        this._rightHeaderActionsDisposable = new MutableDisposable();
-        this._leftHeaderActionsDisposable = new MutableDisposable();
-        this._prefixHeaderActionsDisposable = new MutableDisposable();
         this._location = { type: 'grid' };
         this.mostRecentlyUsed = [];
         this._overwriteRenderContainer = null;
@@ -193,8 +195,8 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this.onDidRemovePanel = this._onDidRemovePanel.event;
         this._onDidActivePanelChange = new Emitter();
         this.onDidActivePanelChange = this._onDidActivePanelChange.event;
-        this._onUnhandledDragOverEvent = new Emitter();
-        this.onUnhandledDragOverEvent = this._onUnhandledDragOverEvent.event;
+        this._onUnhandledDragOver = new Emitter();
+        this.onUnhandledDragOver = this._onUnhandledDragOver.event;
         this._tabGroups = [];
         this._tabGroupMap = new Map();
         this._panelToTabGroup = new Map();
@@ -213,6 +215,9 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this._onDidTabGroupCollapsedChange = new Emitter();
         this.onDidTabGroupCollapsedChange = this._onDidTabGroupCollapsedChange.event;
         toggleClass(this.container, 'dv-groupview', true);
+        // Each group is a navigable region, labelled by its active panel
+        // (see `updateAccessibleLabel`, driven on activation / title change).
+        this.container.setAttribute('role', 'region');
         this._api = new DockviewApi(this.accessor);
         this.tabsContainer = new TabsContainer(this.accessor, this.groupPanel);
         this.contentContainer = new ContentContainer(this.accessor, this);
@@ -221,7 +226,10 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this.locked = (_a = options.locked) !== null && _a !== void 0 ? _a : false;
         this.headerPosition =
             (_b = options.headerPosition) !== null && _b !== void 0 ? _b : accessor.defaultHeaderPosition;
-        this.addDisposables(this._onTabDragStart, this._onGroupDragStart, this._onWillShowOverlay, this._rightHeaderActionsDisposable, this._leftHeaderActionsDisposable, this._prefixHeaderActionsDisposable, this.tabsContainer.onTabDragStart((event) => {
+        this.addDisposables(
+        // Keep the region's accessible name in sync when the active
+        // panel's title changes (no-op when a non-active title changes).
+        this._onDidPanelTitleChange.event(() => this.updateAccessibleLabel()), this._onTabDragStart, this._onGroupDragStart, this._onWillShowOverlay, this.tabsContainer.onTabDragStart((event) => {
             this._onTabDragStart.fire(event);
         }), this.tabsContainer.onGroupDragStart((event) => {
             this._onGroupDragStart.fire(event);
@@ -284,7 +292,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
                 group: this.groupPanel,
                 getData: getPanelData,
             }));
-        }), this._onMove, this._onDidChange, this._onDidDrop, this._onWillDrop, this._onDidAddPanel, this._onDidRemovePanel, this._onDidActivePanelChange, this._onUnhandledDragOverEvent, this._onDidPanelTitleChange, this._onDidPanelParametersChange, this._onDidCreateTabGroup, this._onDidDestroyTabGroup, this._onDidAddPanelToTabGroup, this._onDidRemovePanelFromTabGroup, this._onDidTabGroupChange, this._onDidTabGroupCollapsedChange, this._onDidCreateTabGroup.event(() => {
+        }), this._onMove, this._onDidChange, this._onDidDrop, this._onWillDrop, this._onDidAddPanel, this._onDidRemovePanel, this._onDidActivePanelChange, this._onUnhandledDragOver, this._onDidPanelTitleChange, this._onDidPanelParametersChange, this._onDidCreateTabGroup, this._onDidDestroyTabGroup, this._onDidAddPanelToTabGroup, this._onDidRemovePanelFromTabGroup, this._onDidTabGroupChange, this._onDidTabGroupCollapsedChange, this._onDidCreateTabGroup.event(() => {
             this._scheduleTabGroupUpdate();
         }), this._onDidDestroyTabGroup.event(() => {
             this._scheduleTabGroupUpdate();
@@ -310,7 +318,22 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
             }
         });
     }
+    /**
+     * Bracket a tab-group mutation as a layout transaction. `accessor` is
+     * always a full {@link DockviewComponent} in production; the optional-call
+     * fallback keeps partial test doubles (which omit `mutation`) working.
+     * When nested inside a larger operation (a drag-driven move, fromJSON
+     * restore) the component's depth counter folds it into the outer one.
+     */
+    _bracketTabGroupMutation(func) {
+        return this.accessor.mutation
+            ? this.accessor.mutation('tab-group', func)
+            : func();
+    }
     createTabGroup(options) {
+        return this._bracketTabGroupMutation(() => this._doCreateTabGroup(options));
+    }
+    _doCreateTabGroup(options) {
         var _a;
         const id = (_a = options === null || options === void 0 ? void 0 : options.id) !== null && _a !== void 0 ? _a : `tg-${this.id}-${this._tabGroupIdCounter++}`;
         const tabGroup = new TabGroup(id, {
@@ -344,14 +367,16 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         if (!tabGroup) {
             return;
         }
-        // Remove all panels from the group (they stay in the flat panel list)
-        const panelIds = [...tabGroup.panelIds];
-        for (const panelId of panelIds) {
-            tabGroup.removePanel(panelId);
-            this._panelToTabGroup.delete(panelId);
-            this._onDidRemovePanelFromTabGroup.fire({ tabGroup, panelId });
-        }
-        tabGroup.dispose();
+        this._bracketTabGroupMutation(() => {
+            // Remove all panels from the group (they stay in the flat panel list)
+            const panelIds = [...tabGroup.panelIds];
+            for (const panelId of panelIds) {
+                tabGroup.removePanel(panelId);
+                this._panelToTabGroup.delete(panelId);
+                this._onDidRemovePanelFromTabGroup.fire({ tabGroup, panelId });
+            }
+            tabGroup.dispose();
+        });
     }
     addPanelToTabGroup(tabGroupId, panelId, index) {
         const tabGroup = this._tabGroupMap.get(tabGroupId);
@@ -364,18 +389,20 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         }
         // Remove from any existing group first
         const existingGroup = this.getTabGroupForPanel(panelId);
-        if (existingGroup) {
-            if (existingGroup.id === tabGroupId) {
-                return; // already in this group
-            }
-            this.removePanelFromTabGroup(panelId);
+        if ((existingGroup === null || existingGroup === void 0 ? void 0 : existingGroup.id) === tabGroupId) {
+            return; // already in this group — no mutation
         }
-        tabGroup.addPanel(panelId, index);
-        this._panelToTabGroup.set(panelId, tabGroup);
-        // Enforce contiguity: move the panel in the flat _panels array
-        // to the correct global position matching its group-local index
-        this._enforceContiguity(tabGroup, panelId);
-        this._onDidAddPanelToTabGroup.fire({ tabGroup, panelId });
+        this._bracketTabGroupMutation(() => {
+            if (existingGroup) {
+                this.removePanelFromTabGroup(panelId);
+            }
+            tabGroup.addPanel(panelId, index);
+            this._panelToTabGroup.set(panelId, tabGroup);
+            // Enforce contiguity: move the panel in the flat _panels array
+            // to the correct global position matching its group-local index
+            this._enforceContiguity(tabGroup, panelId);
+            this._onDidAddPanelToTabGroup.fire({ tabGroup, panelId });
+        });
     }
     /**
      * Move a panel to a new index within its tab group.
@@ -383,7 +410,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
      */
     movePanelWithinGroup(tabGroupId, panelId, newIndex) {
         const tabGroup = this._tabGroupMap.get(tabGroupId);
-        if (!tabGroup || !tabGroup.containsPanel(panelId)) {
+        if (!(tabGroup === null || tabGroup === void 0 ? void 0 : tabGroup.containsPanel(panelId))) {
             return;
         }
         // Remove and re-add at new index within the group
@@ -523,13 +550,15 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         if (!tabGroup) {
             return;
         }
-        tabGroup.removePanel(panelId);
-        this._panelToTabGroup.delete(panelId);
-        this._onDidRemovePanelFromTabGroup.fire({ tabGroup, panelId });
-        // Auto-destroy empty groups
-        if (tabGroup.isEmpty) {
-            tabGroup.dispose();
-        }
+        this._bracketTabGroupMutation(() => {
+            tabGroup.removePanel(panelId);
+            this._panelToTabGroup.delete(panelId);
+            this._onDidRemovePanelFromTabGroup.fire({ tabGroup, panelId });
+            // Auto-destroy empty groups
+            if (tabGroup.isEmpty) {
+                tabGroup.dispose();
+            }
+        });
     }
     getTabGroups() {
         return this._tabGroups;
@@ -594,7 +623,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         for (let i = activePanelIndex + 1; i < this._panels.length; i++) {
             const candidate = this._panels[i];
             const candidateGroup = this._findTabGroupForPanel(candidate.id);
-            if (!candidateGroup || !candidateGroup.collapsed) {
+            if (!(candidateGroup === null || candidateGroup === void 0 ? void 0 : candidateGroup.collapsed)) {
                 this.doSetActivePanel(candidate);
                 this.updateContainer();
                 return;
@@ -603,7 +632,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         for (let i = activePanelIndex - 1; i >= 0; i--) {
             const candidate = this._panels[i];
             const candidateGroup = this._findTabGroupForPanel(candidate.id);
-            if (!candidateGroup || !candidateGroup.collapsed) {
+            if (!(candidateGroup === null || candidateGroup === void 0 ? void 0 : candidateGroup.collapsed)) {
                 this.doSetActivePanel(candidate);
                 this.updateContainer();
                 return;
@@ -633,9 +662,9 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
     restoreTabGroups(serializedGroups) {
         // Bump counter past any restored numeric suffixes to avoid ID collisions
         for (const data of serializedGroups) {
-            const match = data.id.match(/-(\d+)$/);
+            const match = /-(\d+)$/.exec(data.id);
             if (match) {
-                const num = parseInt(match[1], 10) + 1;
+                const num = Number.parseInt(match[1], 10) + 1;
                 if (num > this._tabGroupIdCounter) {
                     this._tabGroupIdCounter = num;
                 }
@@ -669,6 +698,9 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
     focusContent() {
         this.contentContainer.element.focus();
     }
+    focusActiveTab() {
+        this.tabsContainer.focusActiveTab();
+    }
     set renderContainer(value) {
         this.panels.forEach((panel) => {
             this.renderContainer.detatch(panel);
@@ -705,54 +737,20 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this.updateHeaderActions();
     }
     updateHeaderActions() {
-        if (this.accessor.options.createRightHeaderActionComponent) {
-            this._rightHeaderActions =
-                this.accessor.options.createRightHeaderActionComponent(this.groupPanel);
-            this._rightHeaderActionsDisposable.value = this._rightHeaderActions;
-            this._rightHeaderActions.init({
-                containerApi: this._api,
-                api: this.groupPanel.api,
-                group: this.groupPanel,
-            });
-            this.tabsContainer.setRightActionsElement(this._rightHeaderActions.element);
-        }
-        else {
-            this._rightHeaderActions = undefined;
-            this._rightHeaderActionsDisposable.dispose();
-            this.tabsContainer.setRightActionsElement(undefined);
-        }
-        if (this.accessor.options.createLeftHeaderActionComponent) {
-            this._leftHeaderActions =
-                this.accessor.options.createLeftHeaderActionComponent(this.groupPanel);
-            this._leftHeaderActionsDisposable.value = this._leftHeaderActions;
-            this._leftHeaderActions.init({
-                containerApi: this._api,
-                api: this.groupPanel.api,
-                group: this.groupPanel,
-            });
-            this.tabsContainer.setLeftActionsElement(this._leftHeaderActions.element);
-        }
-        else {
-            this._leftHeaderActions = undefined;
-            this._leftHeaderActionsDisposable.dispose();
-            this.tabsContainer.setLeftActionsElement(undefined);
-        }
-        if (this.accessor.options.createPrefixHeaderActionComponent) {
-            this._prefixHeaderActions =
-                this.accessor.options.createPrefixHeaderActionComponent(this.groupPanel);
-            this._prefixHeaderActionsDisposable.value =
-                this._prefixHeaderActions;
-            this._prefixHeaderActions.init({
-                containerApi: this._api,
-                api: this.groupPanel.api,
-                group: this.groupPanel,
-            });
-            this.tabsContainer.setPrefixActionsElement(this._prefixHeaderActions.element);
-        }
-        else {
-            this._prefixHeaderActions = undefined;
-            this._prefixHeaderActionsDisposable.dispose();
-            this.tabsContainer.setPrefixActionsElement(undefined);
+        var _a;
+        (_a = this.accessor.headerActionsService) === null || _a === void 0 ? void 0 : _a.refresh(this.groupPanel);
+    }
+    attachHeaderAction(slot, element) {
+        switch (slot) {
+            case 'left':
+                this.tabsContainer.setLeftActionsElement(element);
+                break;
+            case 'right':
+                this.tabsContainer.setRightActionsElement(element);
+                break;
+            case 'prefix':
+                this.tabsContainer.setPrefixActionsElement(element);
+                break;
         }
     }
     rerender(panel) {
@@ -783,32 +781,26 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         return result;
     }
     moveToNext(options) {
-        if (!options) {
-            options = {};
-        }
-        if (!options.panel) {
-            options.panel = this.activePanel;
-        }
+        var _a;
+        options !== null && options !== void 0 ? options : (options = {});
+        (_a = options.panel) !== null && _a !== void 0 ? _a : (options.panel = this.activePanel);
         const index = options.panel ? this.panels.indexOf(options.panel) : -1;
         let normalizedIndex;
         if (index < this.panels.length - 1) {
             normalizedIndex = index + 1;
         }
-        else if (!options.suppressRoll) {
-            normalizedIndex = 0;
+        else if (options.suppressRoll) {
+            return;
         }
         else {
-            return;
+            normalizedIndex = 0;
         }
         this.openPanel(this.panels[normalizedIndex]);
     }
     moveToPrevious(options) {
-        if (!options) {
-            options = {};
-        }
-        if (!options.panel) {
-            options.panel = this.activePanel;
-        }
+        var _a;
+        options !== null && options !== void 0 ? options : (options = {});
+        (_a = options.panel) !== null && _a !== void 0 ? _a : (options.panel = this.activePanel);
         if (!options.panel) {
             return;
         }
@@ -817,11 +809,11 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         if (index > 0) {
             normalizedIndex = index - 1;
         }
-        else if (!options.suppressRoll) {
-            normalizedIndex = this.panels.length - 1;
+        else if (options.suppressRoll) {
+            return;
         }
         else {
-            return;
+            normalizedIndex = this.panels.length - 1;
         }
         this.openPanel(this.panels[normalizedIndex]);
     }
@@ -921,7 +913,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         if (!this._activePanel && this.panels.length > 0) {
             const candidate = this._panels.find((p) => {
                 const tg = this._findTabGroupForPanel(p.id);
-                return !tg || !tg.collapsed;
+                return !(tg === null || tg === void 0 ? void 0 : tg.collapsed);
             });
             if (candidate) {
                 this.doSetActivePanel(candidate);
@@ -998,12 +990,15 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
         this._onDidAddPanel.fire({ panel });
     }
     doSetActivePanel(panel) {
+        var _a, _b, _c;
         if (this._activePanel === panel) {
             return;
         }
         this._activePanel = panel;
         if (panel) {
             this.tabsContainer.setActivePanel(panel);
+            // Point the tabpanel's `aria-labelledby` at the now-active tab.
+            this.contentContainer.setLabelledBy(this.tabsContainer.getTabId(panel.id));
             this.contentContainer.openPanel(panel);
             panel.layout(this._width, this._height);
             this.updateMru(panel);
@@ -1011,8 +1006,23 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
             this.contentContainer.refreshFocusState();
             this._onDidActivePanelChange.fire({
                 panel,
+                // `currentOrigin` is always present on the real component;
+                // default to 'user' for minimal test accessors.
+                origin: (_c = (_b = (_a = this.accessor).currentOrigin) === null || _b === void 0 ? void 0 : _b.call(_a)) !== null && _c !== void 0 ? _c : 'user',
             });
         }
+        this.updateAccessibleLabel();
+    }
+    /** Label the group region with its active panel's title (the WAI-ARIA region name). */
+    updateAccessibleLabel() {
+        var _a;
+        const title = (_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.title;
+        if (title) {
+            this.container.setAttribute('aria-label', title);
+        }
+        else {
+            this.container.removeAttribute('aria-label');
+        }
     }
     updateMru(panel) {
         if (this.mostRecentlyUsed.includes(panel)) {
@@ -1046,7 +1056,7 @@ export class DockviewGroupPanelModel extends CompositeDisposable {
     }
     canDisplayOverlay(event, position, target) {
         const firedEvent = new DockviewUnhandledDragOverEvent(event, target, position, getPanelData, this.accessor.getPanel(this.id));
-        this._onUnhandledDragOverEvent.fire(firedEvent);
+        this._onUnhandledDragOver.fire(firedEvent);
         return firedEvent.isAccepted;
     }
     handleDropEvent(type, event, position, index) {

package/dist/esm/dockview/dockviewPanel.d.ts

@@ -7,7 +7,7 @@ import { IPanel, PanelUpdateEvent, Parameters } from '../panel/types';
 import { IDockviewPanelModel } from './dockviewPanelModel';
 import { DockviewComponent } from './dockviewComponent';
 import { DockviewPanelRenderer } from '../overlay/overlayRenderContainer';
-import { Contraints } from '../gridview/gridviewPanel';
+import { Constraints } from '../gridview/gridviewPanel';
 export interface IDockviewPanel extends IDisposable, IPanel {
     readonly view: IDockviewPanelModel;
     readonly group: DockviewGroupPanel;
@@ -52,7 +52,7 @@ export declare class DockviewPanel extends CompositeDisposable implements IDockv
     get maximumHeight(): number | undefined;
     constructor(id: string, component: string, tabComponent: string | undefined, accessor: DockviewComponent, containerApi: DockviewApi, group: DockviewGroupPanel, view: IDockviewPanelModel, options: {
         renderer?: DockviewPanelRenderer;
-    } & Partial<Contraints>);
+    } & Partial<Constraints>);
     init(params: IGroupPanelInitParameters): void;
     focus(): void;
     toJSON(): GroupviewPanelState;

package/dist/esm/dockview/dockviewPanel.js

@@ -103,9 +103,8 @@ export class DockviewPanel extends CompositeDisposable {
         }
     }
     update(event) {
-        var _a;
         // merge the new parameters with the existing parameters
-        this._params = Object.assign(Object.assign({}, ((_a = this._params) !== null && _a !== void 0 ? _a : {})), event.params);
+        this._params = Object.assign(Object.assign({}, this._params), event.params);
         /**
          * delete new keys that have a value of undefined,
          * allow values of null

package/dist/esm/dockview/dockviewShell.d.ts

@@ -56,16 +56,37 @@ export declare class EdgeGroupView implements IView {
     readonly priority = LayoutPriority.Low;
     private _isCollapsed;
     private _lastExpandedSize;
-    private _collapsedSize;
-    private _expandedMinimumSize;
+    private _baseCollapsedSize;
+    private _baseMinimumSize;
+    private _gapAdd;
     private readonly _expandedMaximumSize;
+    private _measuredTabSize;
+    private readonly _tabSizeDisposables;
+    /**
+     * The effective (pre-gap) collapsed size: the measured tab-strip size when
+     * available, otherwise the configured/theme base.
+     */
+    private get _effectiveBaseCollapsed();
     get minimumSize(): number;
     get maximumSize(): number;
     get element(): HTMLElement;
     get isCollapsed(): boolean;
     get lastExpandedSize(): number;
     get collapsedSize(): number;
-    constructor(options: EdgeGroupOptions, group: IEdgeGroupHost, orientation: 'horizontal' | 'vertical');
+    constructor(options: EdgeGroupOptions, group: IEdgeGroupHost, orientation: 'horizontal' | 'vertical', gapAdd?: number);
+    /**
+     * Watch the group's tab strip so the collapsed size follows the live tab
+     * height. The strip's cross-axis size (height for top/bottom, width for
+     * left/right) is exactly what a collapsed edge group should occupy; a
+     * ResizeObserver keeps them in sync when the tab height changes at runtime.
+     */
+    private _observeTabStrip;
+    /**
+     * Apply a freshly-measured tab-strip cross size. When the group is
+     * collapsed this resizes it in the parent splitview so the collapsed strip
+     * always shows the full tab height.
+     */
+    private _applyMeasuredTabSize;
     layout(size: number, orthogonalSize: number): void;
     setCollapsed(collapsed: boolean): void;
     setVisible(_visible: boolean): void;
@@ -76,11 +97,12 @@ export declare class EdgeGroupView implements IView {
      */
     restoreExpandedSize(size: number): void;
     /**
-     * Apply new effective collapsed and expanded-minimum sizes after a theme
-     * or gap change. The caller (ShellManager) is responsible for computing
-     * the correct values from the original config and the new gap.
+     * Apply a new base (pre-gap) collapsed size, base minimum size and gap
+     * contribution after a theme or gap change. Base values come from the
+     * original config; the ShellManager owns the gap arithmetic. A live
+     * measured tab size (if any) continues to win over the base collapsed size.
      */
-    updateCollapsedSize(newCollapsedSize: number, newExpandedMinimumSize: number): void;
+    updateSizing(baseCollapsedSize: number, baseMinimumSize: number | undefined, gapAdd: number): void;
     dispose(): void;
 }
 export declare class ShellManager implements IDisposable {