dock-spawn-ts 2.513.1 → 2.515.0

package/lib/js/SplitterBar.d.ts

@@ -1,35 +1,35 @@
-import { IDockContainer } from "./interfaces/IDockContainer.js";
-import { EventHandler } from "./EventHandler.js";
-import { IMouseOrTouchEvent } from "./interfaces/IMouseOrTouchEvent.js";
-export declare class SplitterBar {
-    previousContainer: IDockContainer;
-    nextContainer: IDockContainer;
-    stackedVertical: boolean;
-    barElement: HTMLDivElement;
-    mouseDownHandler: EventHandler;
-    touchDownHandler: EventHandler;
-    minPanelSize: number;
-    readyToProcessNextDrag: boolean;
-    dockSpawnResizedEvent: CustomEvent<{}>;
-    previousMouseEvent: {
-        x: number;
-        y: number;
-    };
-    mouseMovedHandler: EventHandler;
-    mouseUpHandler: EventHandler;
-    touchMovedHandler: EventHandler;
-    touchUpHandler: EventHandler;
-    private iframeEventHandlers;
-    constructor(previousContainer: IDockContainer, nextContainer: IDockContainer, stackedVertical: boolean);
-    onMouseDown(e: IMouseOrTouchEvent): void;
-    onMouseUp(): void;
-    onMouseMovedIframe(e: IMouseOrTouchEvent, iframe: HTMLIFrameElement): void;
-    onMouseMoved(e: IMouseOrTouchEvent): void;
-    handleMoveEvent(pos: {
-        x: number;
-        y: number;
-    }): void;
-    _performDrag(dx: number, dy: number): void;
-    _startDragging(e: IMouseOrTouchEvent): void;
-    _stopDragging(): void;
-}
+import { IDockContainer } from "./interfaces/IDockContainer.js";
+import { EventHandler } from "./EventHandler.js";
+import { IMouseOrTouchEvent } from "./interfaces/IMouseOrTouchEvent.js";
+export declare class SplitterBar {
+    previousContainer: IDockContainer;
+    nextContainer: IDockContainer;
+    stackedVertical: boolean;
+    barElement: HTMLDivElement;
+    mouseDownHandler: EventHandler;
+    touchDownHandler: EventHandler;
+    minPanelSize: number;
+    readyToProcessNextDrag: boolean;
+    dockSpawnResizedEvent: CustomEvent<{}>;
+    previousMouseEvent: {
+        x: number;
+        y: number;
+    };
+    mouseMovedHandler: EventHandler;
+    mouseUpHandler: EventHandler;
+    touchMovedHandler: EventHandler;
+    touchUpHandler: EventHandler;
+    private iframeEventHandlers;
+    constructor(previousContainer: IDockContainer, nextContainer: IDockContainer, stackedVertical: boolean);
+    onMouseDown(e: IMouseOrTouchEvent): void;
+    onMouseUp(): void;
+    onMouseMovedIframe(e: IMouseOrTouchEvent, iframe: HTMLIFrameElement): void;
+    onMouseMoved(e: IMouseOrTouchEvent): void;
+    handleMoveEvent(pos: {
+        x: number;
+        y: number;
+    }): void;
+    _performDrag(dx: number, dy: number): void;
+    _startDragging(e: IMouseOrTouchEvent): void;
+    _stopDragging(): void;
+}

package/lib/js/SplitterBar.js

@@ -1,150 +1,150 @@
-import { EventHandler } from "./EventHandler.js";
-import { Utils } from "./Utils.js";
-export class SplitterBar {
-    constructor(previousContainer, nextContainer, stackedVertical) {
-        // The panel to the left/top side of the bar, depending on the bar orientation
-        this.previousContainer = previousContainer;
-        // The panel to the right/bottom side of the bar, depending on the bar orientation
-        this.nextContainer = nextContainer;
-        this.stackedVertical = stackedVertical;
-        this.barElement = document.createElement('div');
-        this.barElement.classList.add(stackedVertical ? 'splitbar-horizontal' : 'splitbar-vertical');
-        this.mouseDownHandler = new EventHandler(this.barElement, 'mousedown', this.onMouseDown.bind(this));
-        this.touchDownHandler = new EventHandler(this.barElement, 'touchstart', this.onMouseDown.bind(this));
-        this.minPanelSize = 50; // TODO: Get from container configuration
-        this.readyToProcessNextDrag = true;
-        this.dockSpawnResizedEvent = new CustomEvent("DockSpawnResizedEvent", { composed: true, bubbles: true });
-        this.iframeEventHandlers = [];
-    }
-    onMouseDown(e) {
-        if (e.touches) {
-            if (e.touches.length > 1)
-                return;
-            e = e.touches[0];
-        }
-        this._startDragging(e);
-    }
-    onMouseUp() {
-        this._stopDragging();
-    }
-    onMouseMovedIframe(e, iframe) {
-        if (e.changedTouches != null) {
-            e = e.changedTouches[0];
-        }
-        let posIf = iframe.getBoundingClientRect();
-        this.handleMoveEvent({ x: e.clientX + posIf.x, y: e.clientY + posIf.y });
-    }
-    onMouseMoved(e) {
-        if (e.changedTouches != null) {
-            e = e.changedTouches[0];
-        }
-        this.handleMoveEvent({ x: e.clientX, y: e.clientY });
-    }
-    handleMoveEvent(pos) {
-        if (!this.readyToProcessNextDrag)
-            return;
-        this.readyToProcessNextDrag = false;
-        let dockManager = this.previousContainer.dockManager;
-        dockManager.suspendLayout(this.previousContainer);
-        dockManager.suspendLayout(this.nextContainer);
-        let dx = pos.x - this.previousMouseEvent.x;
-        let dy = pos.y - this.previousMouseEvent.y;
-        this._performDrag(dx, dy);
-        this.previousMouseEvent = pos;
-        this.readyToProcessNextDrag = true;
-        dockManager.resumeLayout(this.previousContainer);
-        dockManager.resumeLayout(this.nextContainer);
-    }
-    _performDrag(dx, dy) {
-        let previousWidth = this.previousContainer.containerElement.clientWidth;
-        let previousHeight = this.previousContainer.containerElement.clientHeight;
-        let nextWidth = this.nextContainer.containerElement.clientWidth;
-        let nextHeight = this.nextContainer.containerElement.clientHeight;
-        let previousPanelSize = this.stackedVertical ? previousHeight : previousWidth;
-        let nextPanelSize = this.stackedVertical ? nextHeight : nextWidth;
-        let deltaMovement = this.stackedVertical ? dy : dx;
-        let newPreviousPanelSize = previousPanelSize + deltaMovement;
-        let newNextPanelSize = nextPanelSize - deltaMovement;
-        if (newPreviousPanelSize < this.minPanelSize || newNextPanelSize < this.minPanelSize) {
-            // One of the panels is smaller than it should be.
-            // In that case, check if the small panel's size is being increased
-            let continueProcessing = (newPreviousPanelSize < this.minPanelSize && newPreviousPanelSize > previousPanelSize) ||
-                (newNextPanelSize < this.minPanelSize && newNextPanelSize > nextPanelSize);
-            if (!continueProcessing)
-                return;
-        }
-        if (this.stackedVertical) {
-            this.previousContainer.resize(previousWidth, newPreviousPanelSize);
-            this.nextContainer.resize(nextWidth, newNextPanelSize);
-        }
-        else {
-            if (deltaMovement < 0) {
-                this.previousContainer.resize(newPreviousPanelSize, previousHeight);
-                this.nextContainer.resize(newNextPanelSize, nextHeight);
-            }
-            else {
-                this.nextContainer.resize(newNextPanelSize, nextHeight);
-                this.previousContainer.resize(newPreviousPanelSize, previousHeight);
-                this.nextContainer.resize(newNextPanelSize, nextHeight);
-            }
-        }
-        document.dispatchEvent(this.dockSpawnResizedEvent);
-    }
-    _startDragging(e) {
-        Utils.disableGlobalTextSelection(this.previousContainer.dockManager.config.dialogRootElement);
-        if (this.mouseMovedHandler) {
-            this.mouseMovedHandler.cancel();
-            delete this.mouseMovedHandler;
-        }
-        if (this.touchMovedHandler) {
-            this.touchMovedHandler.cancel();
-            delete this.touchMovedHandler;
-        }
-        if (this.mouseUpHandler) {
-            this.mouseUpHandler.cancel();
-            delete this.mouseUpHandler;
-        }
-        if (this.touchUpHandler) {
-            this.touchUpHandler.cancel();
-            delete this.touchUpHandler;
-        }
-        this.mouseMovedHandler = new EventHandler(window, 'mousemove', this.onMouseMoved.bind(this));
-        this.mouseUpHandler = new EventHandler(window, 'mouseup', this.onMouseUp.bind(this));
-        this.touchMovedHandler = new EventHandler(window, 'touchmove', this.onMouseMoved.bind(this));
-        this.touchUpHandler = new EventHandler(window, 'touchend', this.onMouseUp.bind(this));
-        if (this.previousContainer.dockManager.iframes) {
-            for (let f of this.previousContainer.dockManager.iframes) {
-                let mmi = this.onMouseMovedIframe.bind(this);
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mousemove', (e) => mmi(e, f)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mouseup', this.onMouseUp.bind(this)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchmove', (e) => mmi(e, f)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchend', this.onMouseUp.bind(this)));
-            }
-        }
-        this.previousMouseEvent = { x: e.clientX, y: e.clientY };
-    }
-    _stopDragging() {
-        Utils.enableGlobalTextSelection(this.previousContainer.dockManager.config.dialogRootElement);
-        if (this.mouseMovedHandler) {
-            this.mouseMovedHandler.cancel();
-            delete this.mouseMovedHandler;
-        }
-        if (this.touchMovedHandler) {
-            this.touchMovedHandler.cancel();
-            delete this.touchMovedHandler;
-        }
-        if (this.mouseUpHandler) {
-            this.mouseUpHandler.cancel();
-            delete this.mouseUpHandler;
-        }
-        if (this.touchUpHandler) {
-            this.touchUpHandler.cancel();
-            delete this.touchUpHandler;
-        }
-        for (let e of this.iframeEventHandlers) {
-            e.cancel();
-        }
-        this.iframeEventHandlers = [];
-    }
-}
+import { EventHandler } from "./EventHandler.js";
+import { Utils } from "./Utils.js";
+export class SplitterBar {
+    constructor(previousContainer, nextContainer, stackedVertical) {
+        // The panel to the left/top side of the bar, depending on the bar orientation
+        this.previousContainer = previousContainer;
+        // The panel to the right/bottom side of the bar, depending on the bar orientation
+        this.nextContainer = nextContainer;
+        this.stackedVertical = stackedVertical;
+        this.barElement = document.createElement('div');
+        this.barElement.classList.add(stackedVertical ? 'splitbar-horizontal' : 'splitbar-vertical');
+        this.mouseDownHandler = new EventHandler(this.barElement, 'mousedown', this.onMouseDown.bind(this));
+        this.touchDownHandler = new EventHandler(this.barElement, 'touchstart', this.onMouseDown.bind(this));
+        this.minPanelSize = 50; // TODO: Get from container configuration
+        this.readyToProcessNextDrag = true;
+        this.dockSpawnResizedEvent = new CustomEvent("DockSpawnResizedEvent", { composed: true, bubbles: true });
+        this.iframeEventHandlers = [];
+    }
+    onMouseDown(e) {
+        if (e.touches) {
+            if (e.touches.length > 1)
+                return;
+            e = e.touches[0];
+        }
+        this._startDragging(e);
+    }
+    onMouseUp() {
+        this._stopDragging();
+    }
+    onMouseMovedIframe(e, iframe) {
+        if (e.changedTouches != null) {
+            e = e.changedTouches[0];
+        }
+        let posIf = iframe.getBoundingClientRect();
+        this.handleMoveEvent({ x: e.clientX + posIf.x, y: e.clientY + posIf.y });
+    }
+    onMouseMoved(e) {
+        if (e.changedTouches != null) {
+            e = e.changedTouches[0];
+        }
+        this.handleMoveEvent({ x: e.clientX, y: e.clientY });
+    }
+    handleMoveEvent(pos) {
+        if (!this.readyToProcessNextDrag)
+            return;
+        this.readyToProcessNextDrag = false;
+        let dockManager = this.previousContainer.dockManager;
+        dockManager.suspendLayout(this.previousContainer);
+        dockManager.suspendLayout(this.nextContainer);
+        let dx = pos.x - this.previousMouseEvent.x;
+        let dy = pos.y - this.previousMouseEvent.y;
+        this._performDrag(dx, dy);
+        this.previousMouseEvent = pos;
+        this.readyToProcessNextDrag = true;
+        dockManager.resumeLayout(this.previousContainer);
+        dockManager.resumeLayout(this.nextContainer);
+    }
+    _performDrag(dx, dy) {
+        let previousWidth = this.previousContainer.containerElement.clientWidth;
+        let previousHeight = this.previousContainer.containerElement.clientHeight;
+        let nextWidth = this.nextContainer.containerElement.clientWidth;
+        let nextHeight = this.nextContainer.containerElement.clientHeight;
+        let previousPanelSize = this.stackedVertical ? previousHeight : previousWidth;
+        let nextPanelSize = this.stackedVertical ? nextHeight : nextWidth;
+        let deltaMovement = this.stackedVertical ? dy : dx;
+        let newPreviousPanelSize = previousPanelSize + deltaMovement;
+        let newNextPanelSize = nextPanelSize - deltaMovement;
+        if (newPreviousPanelSize < this.minPanelSize || newNextPanelSize < this.minPanelSize) {
+            // One of the panels is smaller than it should be.
+            // In that case, check if the small panel's size is being increased
+            let continueProcessing = (newPreviousPanelSize < this.minPanelSize && newPreviousPanelSize > previousPanelSize) ||
+                (newNextPanelSize < this.minPanelSize && newNextPanelSize > nextPanelSize);
+            if (!continueProcessing)
+                return;
+        }
+        if (this.stackedVertical) {
+            this.previousContainer.resize(previousWidth, newPreviousPanelSize);
+            this.nextContainer.resize(nextWidth, newNextPanelSize);
+        }
+        else {
+            if (deltaMovement < 0) {
+                this.previousContainer.resize(newPreviousPanelSize, previousHeight);
+                this.nextContainer.resize(newNextPanelSize, nextHeight);
+            }
+            else {
+                this.nextContainer.resize(newNextPanelSize, nextHeight);
+                this.previousContainer.resize(newPreviousPanelSize, previousHeight);
+                this.nextContainer.resize(newNextPanelSize, nextHeight);
+            }
+        }
+        document.dispatchEvent(this.dockSpawnResizedEvent);
+    }
+    _startDragging(e) {
+        Utils.disableGlobalTextSelection(this.previousContainer.dockManager.config.dialogRootElement);
+        if (this.mouseMovedHandler) {
+            this.mouseMovedHandler.cancel();
+            delete this.mouseMovedHandler;
+        }
+        if (this.touchMovedHandler) {
+            this.touchMovedHandler.cancel();
+            delete this.touchMovedHandler;
+        }
+        if (this.mouseUpHandler) {
+            this.mouseUpHandler.cancel();
+            delete this.mouseUpHandler;
+        }
+        if (this.touchUpHandler) {
+            this.touchUpHandler.cancel();
+            delete this.touchUpHandler;
+        }
+        this.mouseMovedHandler = new EventHandler(window, 'mousemove', this.onMouseMoved.bind(this));
+        this.mouseUpHandler = new EventHandler(window, 'mouseup', this.onMouseUp.bind(this));
+        this.touchMovedHandler = new EventHandler(window, 'touchmove', this.onMouseMoved.bind(this));
+        this.touchUpHandler = new EventHandler(window, 'touchend', this.onMouseUp.bind(this));
+        if (this.previousContainer.dockManager.iframes) {
+            for (let f of this.previousContainer.dockManager.iframes) {
+                let mmi = this.onMouseMovedIframe.bind(this);
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mousemove', (e) => mmi(e, f)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mouseup', this.onMouseUp.bind(this)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchmove', (e) => mmi(e, f)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchend', this.onMouseUp.bind(this)));
+            }
+        }
+        this.previousMouseEvent = { x: e.clientX, y: e.clientY };
+    }
+    _stopDragging() {
+        Utils.enableGlobalTextSelection(this.previousContainer.dockManager.config.dialogRootElement);
+        if (this.mouseMovedHandler) {
+            this.mouseMovedHandler.cancel();
+            delete this.mouseMovedHandler;
+        }
+        if (this.touchMovedHandler) {
+            this.touchMovedHandler.cancel();
+            delete this.touchMovedHandler;
+        }
+        if (this.mouseUpHandler) {
+            this.mouseUpHandler.cancel();
+            delete this.mouseUpHandler;
+        }
+        if (this.touchUpHandler) {
+            this.touchUpHandler.cancel();
+            delete this.touchUpHandler;
+        }
+        for (let e of this.iframeEventHandlers) {
+            e.cancel();
+        }
+        this.iframeEventHandlers = [];
+    }
+}
 //# sourceMappingURL=SplitterBar.js.map

package/lib/js/SplitterDockContainer.d.ts

@@ -1,35 +1,35 @@
-import { DockManager } from "./DockManager.js";
-import { SplitterPanel } from "./SplitterPanel.js";
-import { IDockContainer } from "./interfaces/IDockContainer.js";
-import { ContainerType } from "./ContainerType.js";
-import { ISize } from "./interfaces/ISize.js";
-import { IDockContainerWithSize } from "./interfaces/IDockContainerWithSize.js";
-import { IState } from "./interfaces/IState.js";
-export declare abstract class SplitterDockContainer implements IDockContainerWithSize {
-    name: string;
-    dockManager: DockManager;
-    minimumAllowedChildNodes: number;
-    splitterPanel: SplitterPanel;
-    stackedVertical: boolean;
-    containerElement: HTMLDivElement;
-    _cachedWidth: number;
-    _cachedHeight: number;
-    state: ISize;
-    containerType: ContainerType;
-    constructor(name: string, dockManager: DockManager, childContainers: IDockContainer[], stackedVertical: boolean);
-    resize(width: number, height: number): void;
-    performLayout(childContainers: IDockContainer[], relayoutEvenIfEqual?: boolean): void;
-    setActiveChild(): void;
-    destroy(): void;
-    /**
-     * Sets the percentage of space the specified [container] takes in the split panel
-     * The percentage is specified in [ratio] and is between 0..1
-     */
-    setContainerRatio(container: IDockContainer, ratio: number): void;
-    getRatios(): number[];
-    setRatios(ratios: number[]): void;
-    saveState(state: IState): void;
-    loadState(state: IState): void;
-    get width(): number;
-    get height(): number;
-}
+import { DockManager } from "./DockManager.js";
+import { SplitterPanel } from "./SplitterPanel.js";
+import { IDockContainer } from "./interfaces/IDockContainer.js";
+import { ContainerType } from "./ContainerType.js";
+import { ISize } from "./interfaces/ISize.js";
+import { IDockContainerWithSize } from "./interfaces/IDockContainerWithSize.js";
+import { IState } from "./interfaces/IState.js";
+export declare abstract class SplitterDockContainer implements IDockContainerWithSize {
+    name: string;
+    dockManager: DockManager;
+    minimumAllowedChildNodes: number;
+    splitterPanel: SplitterPanel;
+    stackedVertical: boolean;
+    containerElement: HTMLDivElement;
+    _cachedWidth: number;
+    _cachedHeight: number;
+    state: ISize;
+    containerType: ContainerType;
+    constructor(name: string, dockManager: DockManager, childContainers: IDockContainer[], stackedVertical: boolean);
+    resize(width: number, height: number): void;
+    performLayout(childContainers: IDockContainer[], relayoutEvenIfEqual?: boolean): void;
+    setActiveChild(): void;
+    destroy(): void;
+    /**
+     * Sets the percentage of space the specified [container] takes in the split panel
+     * The percentage is specified in [ratio] and is between 0..1
+     */
+    setContainerRatio(container: IDockContainer, ratio: number): void;
+    getRatios(): number[];
+    setRatios(ratios: number[]): void;
+    saveState(state: IState): void;
+    loadState(state: IState): void;
+    get width(): number;
+    get height(): number;
+}

package/lib/js/SplitterDockContainer.js

@@ -1,66 +1,66 @@
-import { SplitterPanel } from "./SplitterPanel.js";
-export class SplitterDockContainer {
-    constructor(name, dockManager, childContainers, stackedVertical) {
-        // for prototype inheritance purposes only
-        if (arguments.length === 0) {
-            return;
-        }
-        this.name = name;
-        this.dockManager = dockManager;
-        this.stackedVertical = stackedVertical;
-        this.splitterPanel = new SplitterPanel(childContainers, this.stackedVertical);
-        this.containerElement = this.splitterPanel.panelElement;
-        this.minimumAllowedChildNodes = 2;
-    }
-    resize(width, height) {
-        //    if (_cachedWidth === _cachedWidth && _cachedHeight === _height) {
-        //      // No need to resize
-        //      return;
-        //    }
-        this.splitterPanel.resize(width, height);
-        this._cachedWidth = width;
-        this._cachedHeight = height;
-    }
-    performLayout(childContainers, relayoutEvenIfEqual = false) {
-        this.splitterPanel.performLayout(childContainers, relayoutEvenIfEqual);
-    }
-    setActiveChild( /*child*/) {
-    }
-    destroy() {
-        this.splitterPanel.destroy();
-    }
-    /**
-     * Sets the percentage of space the specified [container] takes in the split panel
-     * The percentage is specified in [ratio] and is between 0..1
-     */
-    setContainerRatio(container, ratio) {
-        this.splitterPanel.setContainerRatio(container, ratio);
-        this.resize(this.width, this.height);
-    }
-    getRatios() {
-        return this.splitterPanel.getRatios();
-    }
-    setRatios(ratios) {
-        this.splitterPanel.setRatios(ratios);
-        this.resize(this.width, this.height);
-    }
-    saveState(state) {
-        state.width = this.width;
-        state.height = this.height;
-    }
-    loadState(state) {
-        this.state = { width: state.width, height: state.height };
-        // this.resize(state.width, state.height);
-    }
-    get width() {
-        if (this._cachedWidth === undefined)
-            this._cachedWidth = this.splitterPanel.panelElement.clientWidth;
-        return this._cachedWidth;
-    }
-    get height() {
-        if (this._cachedHeight === undefined)
-            this._cachedHeight = this.splitterPanel.panelElement.clientHeight;
-        return this._cachedHeight;
-    }
-}
+import { SplitterPanel } from "./SplitterPanel.js";
+export class SplitterDockContainer {
+    constructor(name, dockManager, childContainers, stackedVertical) {
+        // for prototype inheritance purposes only
+        if (arguments.length === 0) {
+            return;
+        }
+        this.name = name;
+        this.dockManager = dockManager;
+        this.stackedVertical = stackedVertical;
+        this.splitterPanel = new SplitterPanel(childContainers, this.stackedVertical);
+        this.containerElement = this.splitterPanel.panelElement;
+        this.minimumAllowedChildNodes = 2;
+    }
+    resize(width, height) {
+        //    if (_cachedWidth === _cachedWidth && _cachedHeight === _height) {
+        //      // No need to resize
+        //      return;
+        //    }
+        this.splitterPanel.resize(width, height);
+        this._cachedWidth = width;
+        this._cachedHeight = height;
+    }
+    performLayout(childContainers, relayoutEvenIfEqual = false) {
+        this.splitterPanel.performLayout(childContainers, relayoutEvenIfEqual);
+    }
+    setActiveChild( /*child*/) {
+    }
+    destroy() {
+        this.splitterPanel.destroy();
+    }
+    /**
+     * Sets the percentage of space the specified [container] takes in the split panel
+     * The percentage is specified in [ratio] and is between 0..1
+     */
+    setContainerRatio(container, ratio) {
+        this.splitterPanel.setContainerRatio(container, ratio);
+        this.resize(this.width, this.height);
+    }
+    getRatios() {
+        return this.splitterPanel.getRatios();
+    }
+    setRatios(ratios) {
+        this.splitterPanel.setRatios(ratios);
+        this.resize(this.width, this.height);
+    }
+    saveState(state) {
+        state.width = this.width;
+        state.height = this.height;
+    }
+    loadState(state) {
+        this.state = { width: state.width, height: state.height };
+        // this.resize(state.width, state.height);
+    }
+    get width() {
+        if (this._cachedWidth === undefined)
+            this._cachedWidth = this.splitterPanel.panelElement.clientWidth;
+        return this._cachedWidth;
+    }
+    get height() {
+        if (this._cachedHeight === undefined)
+            this._cachedHeight = this.splitterPanel.panelElement.clientHeight;
+        return this._cachedHeight;
+    }
+}
 //# sourceMappingURL=SplitterDockContainer.js.map

package/lib/js/SplitterPanel.d.ts

@@ -1,26 +1,26 @@
-import { SplitterBar } from "./SplitterBar.js";
-import { IDockContainer } from "./interfaces/IDockContainer.js";
-/**
- * A splitter panel manages the child containers inside it with splitter bars.
- * It can be stacked horizontally or vertically
- */
-export declare class SplitterPanel {
-    panelElement: HTMLDivElement;
-    spiltterBars: SplitterBar[];
-    stackedVertical: boolean;
-    childContainers: IDockContainer[];
-    constructor(childContainers: IDockContainer[], stackedVertical: boolean);
-    _buildSplitterDOMAndAddElements(): void;
-    performLayout(children: IDockContainer[], relayoutEvenIfEqual: boolean): void;
-    removeFromDOM(): void;
-    destroy(): void;
-    _insertContainerIntoPanel(container: IDockContainer, afterElement: HTMLElement): void;
-    /**
-     * Sets the percentage of space the specified [container] takes in the split panel
-     * The percentage is specified in [ratio] and is between 0..1
-     */
-    setContainerRatio(container: IDockContainer, ratio: number): void;
-    getRatios(): number[];
-    setRatios(ratios: number[]): void;
-    resize(width: number, height: number): void;
-}
+import { SplitterBar } from "./SplitterBar.js";
+import { IDockContainer } from "./interfaces/IDockContainer.js";
+/**
+ * A splitter panel manages the child containers inside it with splitter bars.
+ * It can be stacked horizontally or vertically
+ */
+export declare class SplitterPanel {
+    panelElement: HTMLDivElement;
+    spiltterBars: SplitterBar[];
+    stackedVertical: boolean;
+    childContainers: IDockContainer[];
+    constructor(childContainers: IDockContainer[], stackedVertical: boolean);
+    _buildSplitterDOMAndAddElements(): void;
+    performLayout(children: IDockContainer[], relayoutEvenIfEqual: boolean): void;
+    removeFromDOM(): void;
+    destroy(): void;
+    _insertContainerIntoPanel(container: IDockContainer, afterElement: HTMLElement): void;
+    /**
+     * Sets the percentage of space the specified [container] takes in the split panel
+     * The percentage is specified in [ratio] and is between 0..1
+     */
+    setContainerRatio(container: IDockContainer, ratio: number): void;
+    getRatios(): number[];
+    setRatios(ratios: number[]): void;
+    resize(width: number, height: number): void;
+}