dockview-core 7.0.4 → 8.1.0

package/dist/cjs/dockview/dockviewShell.js

@@ -1,744 +0,0 @@
-"use strict";
-var __assign = (this && this.__assign) || function () {
-    __assign = Object.assign || function(t) {
-        for (var s, i = 1, n = arguments.length; i < n; i++) {
-            s = arguments[i];
-            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
-                t[p] = s[p];
-        }
-        return t;
-    };
-    return __assign.apply(this, arguments);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ShellManager = exports.EdgeGroupView = void 0;
-var events_1 = require("../events");
-var lifecycle_1 = require("../lifecycle");
-var splitview_1 = require("../splitview/splitview");
-var dom_1 = require("../dom");
-var EdgeGroupView = /** @class */ (function () {
-    function EdgeGroupView(options, group, orientation, gapAdd) {
-        if (gapAdd === void 0) { gapAdd = 0; }
-        var _a, _b, _c;
-        this._onDidChange = new events_1.Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this.snap = false;
-        this.priority = splitview_1.LayoutPriority.Low;
-        this._isCollapsed = false;
-        this._tabSizeDisposables = new lifecycle_1.CompositeDisposable();
-        this._group = group;
-        this._orientation = orientation;
-        group.element.classList.add('dv-edge-group');
-        group.element.dataset.testid = "dv-edge-group-".concat(options.id);
-        this._baseCollapsedSize = (_a = options.collapsedSize) !== null && _a !== void 0 ? _a : 35;
-        this._baseMinimumSize = options.minimumSize;
-        this._gapAdd = gapAdd;
-        this._expandedMaximumSize =
-            (_b = options.maximumSize) !== null && _b !== void 0 ? _b : Number.POSITIVE_INFINITY;
-        this._lastExpandedSize = (_c = options.initialSize) !== null && _c !== void 0 ? _c : 200;
-        if (options.collapsed) {
-            this._isCollapsed = true;
-            group.element.classList.add('dv-edge-collapsed');
-        }
-        this._observeTabStrip();
-    }
-    Object.defineProperty(EdgeGroupView.prototype, "_effectiveBaseCollapsed", {
-        /**
-         * The effective (pre-gap) collapsed size: the measured tab-strip size when
-         * available, otherwise the configured/theme base.
-         */
-        get: function () {
-            var _a;
-            return (_a = this._measuredTabSize) !== null && _a !== void 0 ? _a : this._baseCollapsedSize;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "minimumSize", {
-        get: function () {
-            // When collapsed, lock size to collapsedSize so sash can't drag it open
-            if (this._isCollapsed) {
-                return this.collapsedSize;
-            }
-            // If the caller explicitly provides a minimumSize, respect it.
-            // Otherwise fall back to collapsedSize + 50 so the expanded state is
-            // visually distinguishable from the collapsed state.
-            return this._baseMinimumSize !== undefined
-                ? this._baseMinimumSize + this._gapAdd
-                : this._effectiveBaseCollapsed + 50 + this._gapAdd;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "maximumSize", {
-        get: function () {
-            // When collapsed, lock size to collapsedSize so sash can't drag it open
-            return this._isCollapsed
-                ? this.collapsedSize
-                : this._expandedMaximumSize;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "element", {
-        get: function () {
-            return this._group.element;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "isCollapsed", {
-        get: function () {
-            return this._isCollapsed;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "lastExpandedSize", {
-        get: function () {
-            return this._lastExpandedSize;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    Object.defineProperty(EdgeGroupView.prototype, "collapsedSize", {
-        get: function () {
-            return this._effectiveBaseCollapsed + this._gapAdd;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    /**
-     * 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.
-     */
-    EdgeGroupView.prototype._observeTabStrip = function () {
-        var _this = this;
-        var strip = this._group.element.querySelector('.dv-tabs-and-actions-container');
-        if (!strip) {
-            return;
-        }
-        this._tabSizeDisposables.addDisposables((0, dom_1.watchElementResize)(strip, function () {
-            _this._applyMeasuredTabSize(_this._orientation === 'vertical'
-                ? strip.offsetHeight
-                : strip.offsetWidth);
-        }));
-    };
-    /**
-     * 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.
-     */
-    EdgeGroupView.prototype._applyMeasuredTabSize = function (size) {
-        if (size <= 0 || size === this._measuredTabSize) {
-            return;
-        }
-        this._measuredTabSize = size;
-        if (this._isCollapsed) {
-            this._onDidChange.fire({ size: this.collapsedSize });
-        }
-    };
-    EdgeGroupView.prototype.layout = function (size, orthogonalSize) {
-        // Track the last expanded size so we can restore it after collapsing
-        if (!this._isCollapsed) {
-            this._lastExpandedSize = size;
-        }
-        // horizontal (left/right): size=width, orthogonalSize=height → layout(width, height)
-        // vertical (top/bottom): size=height, orthogonalSize=width → layout(width, height)
-        if (this._orientation === 'horizontal') {
-            this._group.layout(size, orthogonalSize);
-        }
-        else {
-            this._group.layout(orthogonalSize, size);
-        }
-    };
-    EdgeGroupView.prototype.setCollapsed = function (collapsed) {
-        if (this._isCollapsed === collapsed) {
-            return;
-        }
-        this._isCollapsed = collapsed;
-        this._group.element.classList.toggle('dv-edge-collapsed', collapsed);
-        // ShellManager calls resizeView directly after this; no _onDidChange needed
-    };
-    EdgeGroupView.prototype.setVisible = function (_visible) {
-        // visibility is managed by the parent splitview
-    };
-    /**
-     * Restore the last-expanded size from serialized state without triggering
-     * a layout. Must be called before setCollapsed(true) during fromJSON so
-     * that expanding after deserialization restores the correct size.
-     */
-    EdgeGroupView.prototype.restoreExpandedSize = function (size) {
-        this._lastExpandedSize = size;
-    };
-    /**
-     * 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.
-     */
-    EdgeGroupView.prototype.updateSizing = function (baseCollapsedSize, baseMinimumSize, gapAdd) {
-        this._baseCollapsedSize = baseCollapsedSize;
-        this._baseMinimumSize = baseMinimumSize;
-        this._gapAdd = gapAdd;
-    };
-    EdgeGroupView.prototype.dispose = function () {
-        this._tabSizeDisposables.dispose();
-        this._onDidChange.dispose();
-    };
-    return EdgeGroupView;
-}());
-exports.EdgeGroupView = EdgeGroupView;
-var CenterView = /** @class */ (function () {
-    function CenterView(_dockviewElement, _layoutDockview) {
-        this._dockviewElement = _dockviewElement;
-        this._layoutDockview = _layoutDockview;
-        this.priority = splitview_1.LayoutPriority.High;
-        this.minimumSize = 100;
-        this.maximumSize = Number.POSITIVE_INFINITY;
-        this._onDidChange = new events_1.Emitter();
-        this.onDidChange = this._onDidChange.event;
-    }
-    Object.defineProperty(CenterView.prototype, "element", {
-        get: function () {
-            return this._dockviewElement;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    CenterView.prototype.layout = function (size, orthogonalSize) {
-        // Lives in a VERTICAL middle-column splitview:
-        // size = height alloc, orthogonalSize = width
-        this._layoutDockview(orthogonalSize, size);
-    };
-    CenterView.prototype.setVisible = function (_visible) {
-        // center is always visible
-    };
-    CenterView.prototype.dispose = function () {
-        this._onDidChange.dispose();
-    };
-    return CenterView;
-}());
-/**
- * The vertical centre column: top (optional) | center | bottom (optional).
- * This view sits between the left and right edge panels in the outer
- * horizontal splitview, so its primary axis is width (horizontal).
- */
-var MiddleColumnView = /** @class */ (function () {
-    function MiddleColumnView(centerView, gap) {
-        if (gap === void 0) { gap = 0; }
-        this._onDidChange = new events_1.Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this.minimumSize = 100;
-        this.maximumSize = Number.POSITIVE_INFINITY;
-        this.priority = splitview_1.LayoutPriority.High;
-        this._element = document.createElement('div');
-        this._element.className = 'dv-shell-middle-column';
-        this._element.style.height = '100%';
-        this._element.style.width = '100%';
-        this._splitview = new splitview_1.Splitview(this._element, {
-            orientation: splitview_1.Orientation.VERTICAL,
-            proportionalLayout: false,
-            margin: gap,
-        });
-        this._centerIndex = 0;
-        this._splitview.addView(centerView, { type: 'distribute' }, 0);
-    }
-    Object.defineProperty(MiddleColumnView.prototype, "element", {
-        get: function () {
-            return this._element;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    MiddleColumnView.prototype.addTopView = function (view, initialSize) {
-        // Insert before center
-        this._splitview.addView(view, initialSize, 0);
-        this._topIndex = 0;
-        this._centerIndex += 1;
-        if (this._bottomIndex !== undefined) {
-            this._bottomIndex += 1;
-        }
-    };
-    MiddleColumnView.prototype.addBottomView = function (view, initialSize) {
-        // Append after center (and any existing bottom — shouldn't happen but safe)
-        var newIndex = this._splitview.length;
-        this._splitview.addView(view, initialSize, newIndex);
-        this._bottomIndex = newIndex;
-    };
-    MiddleColumnView.prototype.removeView = function (position) {
-        var index = position === 'top' ? this._topIndex : this._bottomIndex;
-        if (index === undefined) {
-            return;
-        }
-        this._splitview.removeView(index);
-        if (position === 'top') {
-            this._topIndex = undefined;
-            // center (and bottom if present) shift down by one
-            this._centerIndex -= 1;
-            if (this._bottomIndex !== undefined) {
-                this._bottomIndex -= 1;
-            }
-        }
-        else {
-            this._bottomIndex = undefined;
-            // center and top are unaffected
-        }
-    };
-    MiddleColumnView.prototype.layout = function (size, orthogonalSize) {
-        // Outer horizontal splitview: size = width, orthogonalSize = height
-        // Inner vertical splitview: layout(height, width)
-        this._splitview.layout(orthogonalSize, size);
-    };
-    MiddleColumnView.prototype.setVisible = function (_visible) {
-        // middle column is always visible
-    };
-    MiddleColumnView.prototype.setViewVisible = function (position, visible) {
-        var index = position === 'top' ? this._topIndex : this._bottomIndex;
-        if (index !== undefined) {
-            this._splitview.setViewVisible(index, visible);
-        }
-    };
-    MiddleColumnView.prototype.isViewVisible = function (position) {
-        var index = position === 'top' ? this._topIndex : this._bottomIndex;
-        if (index !== undefined) {
-            return this._splitview.isViewVisible(index);
-        }
-        return false;
-    };
-    MiddleColumnView.prototype.getViewSize = function (position) {
-        var index = position === 'top' ? this._topIndex : this._bottomIndex;
-        if (index !== undefined) {
-            return this._splitview.getViewSize(index);
-        }
-        return 0;
-    };
-    MiddleColumnView.prototype.resizeView = function (position, size) {
-        var index = position === 'top' ? this._topIndex : this._bottomIndex;
-        if (index !== undefined) {
-            this._splitview.resizeView(index, size);
-        }
-    };
-    MiddleColumnView.prototype.updateMargin = function (gap) {
-        this._splitview.margin = gap;
-    };
-    MiddleColumnView.prototype.dispose = function () {
-        this._onDidChange.dispose();
-        this._splitview.dispose();
-    };
-    return MiddleColumnView;
-}());
-var ShellManager = /** @class */ (function () {
-    function ShellManager(container, dockviewElement, layoutGrid, gap, defaultCollapsedSize) {
-        if (gap === void 0) { gap = 0; }
-        if (defaultCollapsedSize === void 0) { defaultCollapsedSize = 35; }
-        var _this = this;
-        this._disposables = new lifecycle_1.CompositeDisposable();
-        // Retained for updateTheme() recalculations.
-        this._viewConfigs = new Map();
-        this._currentWidth = 0;
-        this._currentHeight = 0;
-        this._gap = gap;
-        this._defaultCollapsedSize = defaultCollapsedSize;
-        this._shellElement = document.createElement('div');
-        this._shellElement.className = 'dv-shell';
-        this._shellElement.style.height = '100%';
-        this._shellElement.style.width = '100%';
-        this._shellElement.style.position = 'relative';
-        container.appendChild(this._shellElement);
-        var centerView = new CenterView(dockviewElement, layoutGrid);
-        this._middleColumn = new MiddleColumnView(centerView, gap);
-        this._outerSplitview = new splitview_1.Splitview(this._shellElement, {
-            orientation: splitview_1.Orientation.HORIZONTAL,
-            proportionalLayout: false,
-            margin: gap,
-        });
-        this._middleIndex = 0;
-        this._outerSplitview.addView(this._middleColumn, { type: 'distribute' }, 0);
-        this._disposables.addDisposables((0, dom_1.watchElementResize)(this._shellElement, function (entry) {
-            /**
-             * When the shell (or an ancestor) becomes hidden — e.g. a
-             * nested dockview whose `onlyWhenVisible` host panel is
-             * deactivated — the element collapses to (0, 0) or is detached
-             * from the DOM. Propagating that zero size would relayout the
-             * edge-group splitview at 0, clamping the low-priority edge
-             * groups down to their minimum size and destroying the user's
-             * sizing. Skip these cases so sizes are preserved while hidden;
-             * mirrors the guard in the `Resizable` base class. See #1495.
-             *
-             * offsetParent === null is equivalent to display: none on the
-             * element or one of its ancestors.
-             * @see https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement/offsetParent
-             */
-            if (!_this._shellElement.offsetParent) {
-                return;
-            }
-            if (!(0, dom_1.isInDocument)(_this._shellElement)) {
-                return;
-            }
-            var width = Math.round(entry.contentRect.width);
-            var height = Math.round(entry.contentRect.height);
-            if (width === _this._currentWidth &&
-                height === _this._currentHeight) {
-                return;
-            }
-            _this._currentWidth = width;
-            _this._currentHeight = height;
-            _this.layout(width, height);
-        }), this._outerSplitview, this._middleColumn, centerView);
-    }
-    Object.defineProperty(ShellManager.prototype, "element", {
-        get: function () {
-            return this._shellElement;
-        },
-        enumerable: false,
-        configurable: true
-    });
-    /**
-     * Add an edge group view at the given position. The view wraps the
-     * provided group element inside the shell's splitview layout.
-     * Throws if a group at this position is already registered.
-     */
-    ShellManager.prototype.addEdgeView = function (position, options, group) {
-        if (this.hasEdgeGroup(position)) {
-            throw new Error("dockview: edge group already registered at position '".concat(position, "'"));
-        }
-        this._viewConfigs.set(position, options);
-        // Recompute gap adjustments now that _viewConfigs has grown.
-        var outerN = 1 +
-            (this._viewConfigs.has('left') ? 1 : 0) +
-            (this._viewConfigs.has('right') ? 1 : 0);
-        var innerN = 1 +
-            (this._viewConfigs.has('top') ? 1 : 0) +
-            (this._viewConfigs.has('bottom') ? 1 : 0);
-        var outerGapAdd = outerN > 1 ? (this._gap * (outerN - 1)) / outerN : 0;
-        var innerGapAdd = innerN > 1 ? (this._gap * (innerN - 1)) / innerN : 0;
-        var isHorizontal = position === 'left' || position === 'right';
-        var gapAdd = isHorizontal ? outerGapAdd : innerGapAdd;
-        var orientation = isHorizontal ? 'horizontal' : 'vertical';
-        var view = new EdgeGroupView(__assign({ collapsedSize: this._defaultCollapsedSize }, options), group, orientation, gapAdd);
-        var initialSize = view.isCollapsed
-            ? view.collapsedSize
-            : view.lastExpandedSize;
-        switch (position) {
-            case 'left':
-                // Insert before the middle column
-                this._outerSplitview.addView(view, initialSize, 0);
-                this._leftIndex = 0;
-                this._middleIndex += 1;
-                if (this._rightIndex !== undefined) {
-                    this._rightIndex += 1;
-                }
-                this._leftView = view;
-                break;
-            case 'right':
-                // Append after the middle column
-                {
-                    var idx = this._outerSplitview.length;
-                    this._outerSplitview.addView(view, initialSize, idx);
-                    this._rightIndex = idx;
-                    this._rightView = view;
-                }
-                break;
-            case 'top':
-                this._middleColumn.addTopView(view, initialSize);
-                this._topView = view;
-                break;
-            case 'bottom':
-                this._middleColumn.addBottomView(view, initialSize);
-                this._bottomView = view;
-                break;
-        }
-        this._disposables.addDisposables(view);
-        // Recalculate gap adjustments for all views now that n has changed.
-        // updateTheme already guards the layout() call by _currentWidth/_currentHeight.
-        this.updateTheme(this._gap, this._defaultCollapsedSize);
-        return view;
-    };
-    ShellManager.prototype.layout = function (width, height) {
-        // Outer splitview is HORIZONTAL: layout(size=width, orthogonalSize=height)
-        this._outerSplitview.layout(width, height);
-    };
-    /**
-     * Called when the active theme changes. Updates splitview margins and
-     * edge-group collapsed sizes so the layout matches the new theme's gap
-     * and tab-strip dimensions.
-     */
-    ShellManager.prototype.updateTheme = function (gap, defaultCollapsedSize) {
-        var _a, _b, _c, _d;
-        this._gap = gap;
-        this._defaultCollapsedSize = defaultCollapsedSize;
-        var outerN = 1 +
-            (this._viewConfigs.has('left') ? 1 : 0) +
-            (this._viewConfigs.has('right') ? 1 : 0);
-        var innerN = 1 +
-            (this._viewConfigs.has('top') ? 1 : 0) +
-            (this._viewConfigs.has('bottom') ? 1 : 0);
-        var outerGapAdd = outerN > 1 ? (gap * (outerN - 1)) / outerN : 0;
-        var innerGapAdd = innerN > 1 ? (gap * (innerN - 1)) / innerN : 0;
-        // Update splitview margins.
-        this._outerSplitview.margin = gap;
-        this._middleColumn.updateMargin(gap);
-        // Recompute effective collapsed sizes from the original config values.
-        var updateView = function (view, baseCfg, gapAdd) {
-            var _a;
-            var baseCS = (_a = baseCfg.collapsedSize) !== null && _a !== void 0 ? _a : defaultCollapsedSize;
-            view.updateSizing(baseCS, baseCfg.minimumSize, gapAdd);
-        };
-        var topCfg = this._viewConfigs.get('top');
-        if (this._topView && topCfg) {
-            updateView(this._topView, topCfg, innerGapAdd);
-        }
-        var bottomCfg = this._viewConfigs.get('bottom');
-        if (this._bottomView && bottomCfg) {
-            updateView(this._bottomView, bottomCfg, innerGapAdd);
-        }
-        var leftCfg = this._viewConfigs.get('left');
-        if (this._leftView && leftCfg) {
-            updateView(this._leftView, leftCfg, outerGapAdd);
-        }
-        var rightCfg = this._viewConfigs.get('right');
-        if (this._rightView && rightCfg) {
-            updateView(this._rightView, rightCfg, outerGapAdd);
-        }
-        // Resize currently-collapsed groups to their new collapsed size so
-        // they immediately match the new theme's tab-strip dimensions.
-        if (((_a = this._leftView) === null || _a === void 0 ? void 0 : _a.isCollapsed) && this._leftIndex !== undefined) {
-            this._outerSplitview.resizeView(this._leftIndex, this._leftView.collapsedSize);
-        }
-        if (((_b = this._rightView) === null || _b === void 0 ? void 0 : _b.isCollapsed) && this._rightIndex !== undefined) {
-            this._outerSplitview.resizeView(this._rightIndex, this._rightView.collapsedSize);
-        }
-        if ((_c = this._topView) === null || _c === void 0 ? void 0 : _c.isCollapsed) {
-            this._middleColumn.resizeView('top', this._topView.collapsedSize);
-        }
-        if ((_d = this._bottomView) === null || _d === void 0 ? void 0 : _d.isCollapsed) {
-            this._middleColumn.resizeView('bottom', this._bottomView.collapsedSize);
-        }
-        // Re-run layout with the current shell dimensions.
-        if (this._currentWidth > 0 && this._currentHeight > 0) {
-            this.layout(this._currentWidth, this._currentHeight);
-        }
-    };
-    ShellManager.prototype.removeEdgeView = function (position) {
-        var view = this._getView(position);
-        if (!view) {
-            return;
-        }
-        switch (position) {
-            case 'left':
-                this._outerSplitview.removeView(this._leftIndex);
-                this._leftIndex = undefined;
-                this._leftView = undefined;
-                // middle and right shift left by one
-                this._middleIndex -= 1;
-                if (this._rightIndex !== undefined) {
-                    this._rightIndex -= 1;
-                }
-                break;
-            case 'right':
-                this._outerSplitview.removeView(this._rightIndex);
-                this._rightIndex = undefined;
-                this._rightView = undefined;
-                break;
-            case 'top':
-                this._middleColumn.removeView('top');
-                this._topView = undefined;
-                break;
-            case 'bottom':
-                this._middleColumn.removeView('bottom');
-                this._bottomView = undefined;
-                break;
-        }
-        // Deregister before disposing to avoid double-dispose when ShellManager
-        // itself is eventually disposed.
-        this._disposables.removeDisposable(view);
-        view.dispose();
-        this._viewConfigs.delete(position);
-        // Recalculate gap adjustments for remaining views.
-        this.updateTheme(this._gap, this._defaultCollapsedSize);
-    };
-    ShellManager.prototype.hasEdgeGroup = function (position) {
-        switch (position) {
-            case 'top':
-                return this._topView !== undefined;
-            case 'bottom':
-                return this._bottomView !== undefined;
-            case 'left':
-                return this._leftView !== undefined;
-            case 'right':
-                return this._rightView !== undefined;
-        }
-    };
-    ShellManager.prototype.setEdgeGroupVisible = function (position, visible) {
-        switch (position) {
-            case 'left':
-                if (this._leftIndex !== undefined) {
-                    this._outerSplitview.setViewVisible(this._leftIndex, visible);
-                }
-                break;
-            case 'right':
-                if (this._rightIndex !== undefined) {
-                    this._outerSplitview.setViewVisible(this._rightIndex, visible);
-                }
-                break;
-            case 'top':
-            case 'bottom':
-                this._middleColumn.setViewVisible(position, visible);
-                break;
-        }
-    };
-    ShellManager.prototype.isEdgeGroupVisible = function (position) {
-        switch (position) {
-            case 'left':
-                if (this._leftIndex !== undefined) {
-                    return this._outerSplitview.isViewVisible(this._leftIndex);
-                }
-                return false;
-            case 'right':
-                if (this._rightIndex !== undefined) {
-                    return this._outerSplitview.isViewVisible(this._rightIndex);
-                }
-                return false;
-            case 'top':
-            case 'bottom':
-                return this._middleColumn.isViewVisible(position);
-        }
-    };
-    ShellManager.prototype.setEdgeGroupCollapsed = function (position, collapsed) {
-        var view = this._getView(position);
-        if (!view) {
-            return;
-        }
-        view.setCollapsed(collapsed);
-        var targetSize = collapsed
-            ? view.collapsedSize
-            : view.lastExpandedSize;
-        switch (position) {
-            case 'left':
-                if (this._leftIndex !== undefined) {
-                    this._outerSplitview.resizeView(this._leftIndex, targetSize);
-                }
-                break;
-            case 'right':
-                if (this._rightIndex !== undefined) {
-                    this._outerSplitview.resizeView(this._rightIndex, targetSize);
-                }
-                break;
-            case 'top':
-            case 'bottom':
-                this._middleColumn.resizeView(position, targetSize);
-                break;
-        }
-    };
-    ShellManager.prototype.isEdgeGroupCollapsed = function (position) {
-        var _a, _b;
-        return (_b = (_a = this._getView(position)) === null || _a === void 0 ? void 0 : _a.isCollapsed) !== null && _b !== void 0 ? _b : false;
-    };
-    ShellManager.prototype._getView = function (position) {
-        switch (position) {
-            case 'top':
-                return this._topView;
-            case 'bottom':
-                return this._bottomView;
-            case 'left':
-                return this._leftView;
-            case 'right':
-                return this._rightView;
-        }
-    };
-    ShellManager.prototype.toJSON = function () {
-        var edgeGroups = {};
-        if (this._leftView && this._leftIndex !== undefined) {
-            edgeGroups.left = {
-                size: this._leftView.isCollapsed
-                    ? this._leftView.lastExpandedSize
-                    : this._outerSplitview.getViewSize(this._leftIndex),
-                visible: this._outerSplitview.isViewVisible(this._leftIndex),
-                collapsed: this._leftView.isCollapsed || undefined,
-            };
-        }
-        if (this._rightView && this._rightIndex !== undefined) {
-            edgeGroups.right = {
-                size: this._rightView.isCollapsed
-                    ? this._rightView.lastExpandedSize
-                    : this._outerSplitview.getViewSize(this._rightIndex),
-                visible: this._outerSplitview.isViewVisible(this._rightIndex),
-                collapsed: this._rightView.isCollapsed || undefined,
-            };
-        }
-        if (this._topView) {
-            edgeGroups.top = {
-                size: this._topView.isCollapsed
-                    ? this._topView.lastExpandedSize
-                    : this._middleColumn.getViewSize('top'),
-                visible: this._middleColumn.isViewVisible('top'),
-                collapsed: this._topView.isCollapsed || undefined,
-            };
-        }
-        if (this._bottomView) {
-            edgeGroups.bottom = {
-                size: this._bottomView.isCollapsed
-                    ? this._bottomView.lastExpandedSize
-                    : this._middleColumn.getViewSize('bottom'),
-                visible: this._middleColumn.isViewVisible('bottom'),
-                collapsed: this._bottomView.isCollapsed || undefined,
-            };
-        }
-        return edgeGroups;
-    };
-    ShellManager.prototype.fromJSON = function (data) {
-        var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t, _u, _v;
-        if (data.left && this._leftIndex !== undefined) {
-            // Always restore the expanded size first. toJSON always records the
-            // expanded size (even when collapsed), so restoredExpandedSize must
-            // be applied before setCollapsed locks min/max to collapsedSize.
-            (_a = this._leftView) === null || _a === void 0 ? void 0 : _a.restoreExpandedSize(data.left.size);
-            (_b = this._leftView) === null || _b === void 0 ? void 0 : _b.setCollapsed((_c = data.left.collapsed) !== null && _c !== void 0 ? _c : false);
-            this._outerSplitview.resizeView(this._leftIndex, data.left.collapsed
-                ? ((_e = (_d = this._leftView) === null || _d === void 0 ? void 0 : _d.collapsedSize) !== null && _e !== void 0 ? _e : data.left.size)
-                : data.left.size);
-            if (!data.left.visible) {
-                this._outerSplitview.setViewVisible(this._leftIndex, false);
-            }
-        }
-        if (data.right && this._rightIndex !== undefined) {
-            (_f = this._rightView) === null || _f === void 0 ? void 0 : _f.restoreExpandedSize(data.right.size);
-            (_g = this._rightView) === null || _g === void 0 ? void 0 : _g.setCollapsed((_h = data.right.collapsed) !== null && _h !== void 0 ? _h : false);
-            this._outerSplitview.resizeView(this._rightIndex, data.right.collapsed
-                ? ((_k = (_j = this._rightView) === null || _j === void 0 ? void 0 : _j.collapsedSize) !== null && _k !== void 0 ? _k : data.right.size)
-                : data.right.size);
-            if (!data.right.visible) {
-                this._outerSplitview.setViewVisible(this._rightIndex, false);
-            }
-        }
-        if (data.top) {
-            (_l = this._topView) === null || _l === void 0 ? void 0 : _l.restoreExpandedSize(data.top.size);
-            (_m = this._topView) === null || _m === void 0 ? void 0 : _m.setCollapsed((_o = data.top.collapsed) !== null && _o !== void 0 ? _o : false);
-            this._middleColumn.resizeView('top', data.top.collapsed
-                ? ((_q = (_p = this._topView) === null || _p === void 0 ? void 0 : _p.collapsedSize) !== null && _q !== void 0 ? _q : data.top.size)
-                : data.top.size);
-            if (!data.top.visible) {
-                this._middleColumn.setViewVisible('top', false);
-            }
-        }
-        if (data.bottom) {
-            (_r = this._bottomView) === null || _r === void 0 ? void 0 : _r.restoreExpandedSize(data.bottom.size);
-            (_s = this._bottomView) === null || _s === void 0 ? void 0 : _s.setCollapsed((_t = data.bottom.collapsed) !== null && _t !== void 0 ? _t : false);
-            this._middleColumn.resizeView('bottom', data.bottom.collapsed
-                ? ((_v = (_u = this._bottomView) === null || _u === void 0 ? void 0 : _u.collapsedSize) !== null && _v !== void 0 ? _v : data.bottom.size)
-                : data.bottom.size);
-            if (!data.bottom.visible) {
-                this._middleColumn.setViewVisible('bottom', false);
-            }
-        }
-    };
-    ShellManager.prototype.dispose = function () {
-        this._disposables.dispose();
-        this._shellElement.remove();
-    };
-    return ShellManager;
-}());
-exports.ShellManager = ShellManager;