dock-spawn-ts 2.513.0 → 2.514.0

package/lib/js/SplitterPanel.js

@@ -1,192 +1,192 @@
-import { SplitterBar } from "./SplitterBar.js";
-import { Utils } from "./Utils.js";
-/**
- * A splitter panel manages the child containers inside it with splitter bars.
- * It can be stacked horizontally or vertically
- */
-export class SplitterPanel {
-    constructor(childContainers, stackedVertical) {
-        this.childContainers = childContainers;
-        this.stackedVertical = stackedVertical;
-        this.panelElement = document.createElement('div');
-        this.spiltterBars = [];
-        this._buildSplitterDOMAndAddElements();
-    }
-    _buildSplitterDOMAndAddElements() {
-        if (this.childContainers.length <= 1)
-            throw new Error('Splitter panel should contain atleast 2 panels');
-        this.spiltterBars = [];
-        let afterElement = null;
-        for (let i = 0; i < this.childContainers.length - 1; i++) {
-            let previousContainer = this.childContainers[i];
-            let nextContainer = this.childContainers[i + 1];
-            let splitterBar = new SplitterBar(previousContainer, nextContainer, this.stackedVertical);
-            this.spiltterBars.push(splitterBar);
-            // Add the container and split bar to the panel's base div element
-            if (!Array.from(this.panelElement.children).includes(previousContainer.containerElement))
-                this._insertContainerIntoPanel(previousContainer, afterElement);
-            this.panelElement.insertBefore(splitterBar.barElement, previousContainer.containerElement.nextSibling);
-            afterElement = splitterBar.barElement;
-        }
-        let last = this.childContainers.slice(-1)[0];
-        if (!Array.from(this.panelElement.children).includes(last.containerElement))
-            this._insertContainerIntoPanel(last, afterElement);
-    }
-    performLayout(children, relayoutEvenIfEqual) {
-        let containersEqual = Utils.arrayEqual(this.childContainers, children);
-        if (!containersEqual || relayoutEvenIfEqual) {
-            this.childContainers.forEach((container) => {
-                if (!children.some((item) => item == container)) {
-                    if (container.containerElement) {
-                        container.containerElement.classList.remove('splitter-container-vertical');
-                        container.containerElement.classList.remove('splitter-container-horizontal');
-                        Utils.removeNode(container.containerElement);
-                    }
-                }
-            });
-            this.spiltterBars.forEach((bar) => { Utils.removeNode(bar.barElement); });
-            // rebuild
-            this.childContainers = children;
-            this._buildSplitterDOMAndAddElements();
-        }
-    }
-    removeFromDOM() {
-        this.childContainers.forEach((container) => {
-            if (container.containerElement) {
-                container.containerElement.classList.remove('splitter-container-vertical');
-                container.containerElement.classList.remove('splitter-container-horizontal');
-                Utils.removeNode(container.containerElement);
-            }
-        });
-        this.spiltterBars.forEach((bar) => { Utils.removeNode(bar.barElement); });
-    }
-    destroy() {
-        this.removeFromDOM();
-        this.panelElement.parentNode.removeChild(this.panelElement);
-    }
-    _insertContainerIntoPanel(container, afterElement) {
-        if (!container) {
-            console.error('container is undefined');
-            return;
-        }
-        if (container.containerElement.parentNode != this.panelElement) {
-            Utils.removeNode(container.containerElement);
-            if (afterElement)
-                this.panelElement.insertBefore(container.containerElement, afterElement.nextSibling);
-            else {
-                if (this.panelElement.children.length > 0)
-                    this.panelElement.insertBefore(container.containerElement, this.panelElement.children[0]);
-                else
-                    this.panelElement.appendChild(container.containerElement);
-            }
-        }
-        container.containerElement.classList.add(this.stackedVertical ? 'splitter-container-vertical' : 'splitter-container-horizontal');
-    }
-    /**
-     * 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) {
-        let splitPanelSize = this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth;
-        let newContainerSize = splitPanelSize * ratio;
-        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
-        let otherPanelSizeQuota = splitPanelSize - newContainerSize - barSize * this.spiltterBars.length;
-        let otherPanelScaleMultipler = otherPanelSizeQuota / splitPanelSize;
-        for (let i = 0; i < this.childContainers.length; i++) {
-            let child = this.childContainers[i];
-            let size;
-            if (child !== container) {
-                size = this.stackedVertical ? child.containerElement.parentElement.clientHeight : child.containerElement.parentElement.clientWidth;
-                size *= otherPanelScaleMultipler;
-            }
-            else
-                size = newContainerSize;
-            if (this.stackedVertical)
-                child.resize(child.width, Math.floor(size));
-            else
-                child.resize(Math.floor(size), child.height);
-        }
-    }
-    getRatios() {
-        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
-        let splitPanelSize = (this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth) - barSize * this.spiltterBars.length;
-        let result = [];
-        for (let i = 0; i < this.childContainers.length; i++) {
-            let child = this.childContainers[i];
-            let sizeOld = this.stackedVertical ? child.containerElement.clientHeight : child.containerElement.clientWidth;
-            result.push(sizeOld / splitPanelSize);
-        }
-        return result;
-    }
-    setRatios(ratios) {
-        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
-        let splitPanelSize = (this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth) - barSize * this.spiltterBars.length;
-        for (let i = 0; i < this.childContainers.length; i++) {
-            let child = this.childContainers[i];
-            let size = splitPanelSize * ratios[i];
-            if (this.stackedVertical)
-                child.resize(child.width, Math.floor(size));
-            else
-                child.resize(Math.floor(size), child.height);
-        }
-    }
-    resize(width, height) {
-        if (this.childContainers.length <= 1)
-            return;
-        this.panelElement.style.width = width + 'px';
-        this.panelElement.style.height = height + 'px';
-        let i;
-        // Adjust the fixed dimension that is common to all (i.e. width, if stacked vertical; height, if stacked horizontally)
-        for (i = 0; i < this.childContainers.length; i++) {
-            let childContainer = this.childContainers[i];
-            if (this.stackedVertical)
-                childContainer.resize(width, !childContainer.height ? height : childContainer.height);
-            else
-                childContainer.resize(!childContainer.width ? width : childContainer.width, height);
-            if (i < this.spiltterBars.length) {
-                let splitBar = this.spiltterBars[i];
-                if (this.stackedVertical)
-                    splitBar.barElement.style.width = width + 'px';
-                else
-                    splitBar.barElement.style.height = height + 'px';
-            }
-        }
-        // Adjust the varying dimension
-        let totalChildPanelSize = 0;
-        // Find out how much space existing child containers take up (excluding the splitter bars)
-        this.childContainers.forEach((container) => {
-            let size = this.stackedVertical ?
-                container.height :
-                container.width;
-            totalChildPanelSize += size;
-        });
-        const barRect = this.spiltterBars[0].barElement.getBoundingClientRect();
-        // Get the thickness of the bar
-        let barSize = this.stackedVertical ? barRect.height : barRect.width;
-        // Find out how much space existing child containers will take after being resized (excluding the splitter bars)
-        let targetTotalChildPanelSize = this.stackedVertical ? height : width;
-        targetTotalChildPanelSize -= barSize * this.spiltterBars.length;
-        // Get the scale multiplier
-        totalChildPanelSize = Math.max(totalChildPanelSize, 1);
-        let scaleMultiplier = targetTotalChildPanelSize / totalChildPanelSize;
-        // Update the size with this multiplier
-        let updatedTotalChildPanelSize = 0;
-        for (i = 0; i < this.childContainers.length; i++) {
-            let child = this.childContainers[i];
-            if (child.containerElement.style.display == 'none')
-                child.containerElement.style.display = 'block';
-            let original = this.stackedVertical ? child.containerElement.clientHeight : child.containerElement.clientWidth;
-            let newSize = scaleMultiplier > 1 ? Math.floor(original * scaleMultiplier) : Math.ceil(original * scaleMultiplier);
-            updatedTotalChildPanelSize += newSize;
-            // If this is the last node, add any extra pixels to fix the rounding off errors and match the requested size
-            if (i === this.childContainers.length - 1)
-                newSize += targetTotalChildPanelSize - updatedTotalChildPanelSize;
-            // Set the size of the panel
-            if (this.stackedVertical)
-                child.resize(child.width, newSize);
-            else
-                child.resize(newSize, child.height);
-        }
-    }
-}
+import { SplitterBar } from "./SplitterBar.js";
+import { Utils } from "./Utils.js";
+/**
+ * A splitter panel manages the child containers inside it with splitter bars.
+ * It can be stacked horizontally or vertically
+ */
+export class SplitterPanel {
+    constructor(childContainers, stackedVertical) {
+        this.childContainers = childContainers;
+        this.stackedVertical = stackedVertical;
+        this.panelElement = document.createElement('div');
+        this.spiltterBars = [];
+        this._buildSplitterDOMAndAddElements();
+    }
+    _buildSplitterDOMAndAddElements() {
+        if (this.childContainers.length <= 1)
+            throw new Error('Splitter panel should contain atleast 2 panels');
+        this.spiltterBars = [];
+        let afterElement = null;
+        for (let i = 0; i < this.childContainers.length - 1; i++) {
+            let previousContainer = this.childContainers[i];
+            let nextContainer = this.childContainers[i + 1];
+            let splitterBar = new SplitterBar(previousContainer, nextContainer, this.stackedVertical);
+            this.spiltterBars.push(splitterBar);
+            // Add the container and split bar to the panel's base div element
+            if (!Array.from(this.panelElement.children).includes(previousContainer.containerElement))
+                this._insertContainerIntoPanel(previousContainer, afterElement);
+            this.panelElement.insertBefore(splitterBar.barElement, previousContainer.containerElement.nextSibling);
+            afterElement = splitterBar.barElement;
+        }
+        let last = this.childContainers.slice(-1)[0];
+        if (!Array.from(this.panelElement.children).includes(last.containerElement))
+            this._insertContainerIntoPanel(last, afterElement);
+    }
+    performLayout(children, relayoutEvenIfEqual) {
+        let containersEqual = Utils.arrayEqual(this.childContainers, children);
+        if (!containersEqual || relayoutEvenIfEqual) {
+            this.childContainers.forEach((container) => {
+                if (!children.some((item) => item == container)) {
+                    if (container.containerElement) {
+                        container.containerElement.classList.remove('splitter-container-vertical');
+                        container.containerElement.classList.remove('splitter-container-horizontal');
+                        Utils.removeNode(container.containerElement);
+                    }
+                }
+            });
+            this.spiltterBars.forEach((bar) => { Utils.removeNode(bar.barElement); });
+            // rebuild
+            this.childContainers = children;
+            this._buildSplitterDOMAndAddElements();
+        }
+    }
+    removeFromDOM() {
+        this.childContainers.forEach((container) => {
+            if (container.containerElement) {
+                container.containerElement.classList.remove('splitter-container-vertical');
+                container.containerElement.classList.remove('splitter-container-horizontal');
+                Utils.removeNode(container.containerElement);
+            }
+        });
+        this.spiltterBars.forEach((bar) => { Utils.removeNode(bar.barElement); });
+    }
+    destroy() {
+        this.removeFromDOM();
+        this.panelElement.parentNode.removeChild(this.panelElement);
+    }
+    _insertContainerIntoPanel(container, afterElement) {
+        if (!container) {
+            console.error('container is undefined');
+            return;
+        }
+        if (container.containerElement.parentNode != this.panelElement) {
+            Utils.removeNode(container.containerElement);
+            if (afterElement)
+                this.panelElement.insertBefore(container.containerElement, afterElement.nextSibling);
+            else {
+                if (this.panelElement.children.length > 0)
+                    this.panelElement.insertBefore(container.containerElement, this.panelElement.children[0]);
+                else
+                    this.panelElement.appendChild(container.containerElement);
+            }
+        }
+        container.containerElement.classList.add(this.stackedVertical ? 'splitter-container-vertical' : 'splitter-container-horizontal');
+    }
+    /**
+     * 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) {
+        let splitPanelSize = this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth;
+        let newContainerSize = splitPanelSize * ratio;
+        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
+        let otherPanelSizeQuota = splitPanelSize - newContainerSize - barSize * this.spiltterBars.length;
+        let otherPanelScaleMultipler = otherPanelSizeQuota / splitPanelSize;
+        for (let i = 0; i < this.childContainers.length; i++) {
+            let child = this.childContainers[i];
+            let size;
+            if (child !== container) {
+                size = this.stackedVertical ? child.containerElement.parentElement.clientHeight : child.containerElement.parentElement.clientWidth;
+                size *= otherPanelScaleMultipler;
+            }
+            else
+                size = newContainerSize;
+            if (this.stackedVertical)
+                child.resize(child.width, Math.floor(size));
+            else
+                child.resize(Math.floor(size), child.height);
+        }
+    }
+    getRatios() {
+        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
+        let splitPanelSize = (this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth) - barSize * this.spiltterBars.length;
+        let result = [];
+        for (let i = 0; i < this.childContainers.length; i++) {
+            let child = this.childContainers[i];
+            let sizeOld = this.stackedVertical ? child.containerElement.clientHeight : child.containerElement.clientWidth;
+            result.push(sizeOld / splitPanelSize);
+        }
+        return result;
+    }
+    setRatios(ratios) {
+        let barSize = this.stackedVertical ? this.spiltterBars[0].barElement.clientHeight : this.spiltterBars[0].barElement.clientWidth;
+        let splitPanelSize = (this.stackedVertical ? this.panelElement.clientHeight : this.panelElement.clientWidth) - barSize * this.spiltterBars.length;
+        for (let i = 0; i < this.childContainers.length; i++) {
+            let child = this.childContainers[i];
+            let size = splitPanelSize * ratios[i];
+            if (this.stackedVertical)
+                child.resize(child.width, Math.floor(size));
+            else
+                child.resize(Math.floor(size), child.height);
+        }
+    }
+    resize(width, height) {
+        if (this.childContainers.length <= 1)
+            return;
+        this.panelElement.style.width = width + 'px';
+        this.panelElement.style.height = height + 'px';
+        let i;
+        // Adjust the fixed dimension that is common to all (i.e. width, if stacked vertical; height, if stacked horizontally)
+        for (i = 0; i < this.childContainers.length; i++) {
+            let childContainer = this.childContainers[i];
+            if (this.stackedVertical)
+                childContainer.resize(width, !childContainer.height ? height : childContainer.height);
+            else
+                childContainer.resize(!childContainer.width ? width : childContainer.width, height);
+            if (i < this.spiltterBars.length) {
+                let splitBar = this.spiltterBars[i];
+                if (this.stackedVertical)
+                    splitBar.barElement.style.width = width + 'px';
+                else
+                    splitBar.barElement.style.height = height + 'px';
+            }
+        }
+        // Adjust the varying dimension
+        let totalChildPanelSize = 0;
+        // Find out how much space existing child containers take up (excluding the splitter bars)
+        this.childContainers.forEach((container) => {
+            let size = this.stackedVertical ?
+                container.height :
+                container.width;
+            totalChildPanelSize += size;
+        });
+        const barRect = this.spiltterBars[0].barElement.getBoundingClientRect();
+        // Get the thickness of the bar
+        let barSize = this.stackedVertical ? barRect.height : barRect.width;
+        // Find out how much space existing child containers will take after being resized (excluding the splitter bars)
+        let targetTotalChildPanelSize = this.stackedVertical ? height : width;
+        targetTotalChildPanelSize -= barSize * this.spiltterBars.length;
+        // Get the scale multiplier
+        totalChildPanelSize = Math.max(totalChildPanelSize, 1);
+        let scaleMultiplier = targetTotalChildPanelSize / totalChildPanelSize;
+        // Update the size with this multiplier
+        let updatedTotalChildPanelSize = 0;
+        for (i = 0; i < this.childContainers.length; i++) {
+            let child = this.childContainers[i];
+            if (child.containerElement.style.display == 'none')
+                child.containerElement.style.display = 'block';
+            let original = this.stackedVertical ? child.containerElement.clientHeight : child.containerElement.clientWidth;
+            let newSize = scaleMultiplier > 1 ? Math.floor(original * scaleMultiplier) : Math.ceil(original * scaleMultiplier);
+            updatedTotalChildPanelSize += newSize;
+            // If this is the last node, add any extra pixels to fix the rounding off errors and match the requested size
+            if (i === this.childContainers.length - 1)
+                newSize += targetTotalChildPanelSize - updatedTotalChildPanelSize;
+            // Set the size of the panel
+            if (this.stackedVertical)
+                child.resize(child.width, newSize);
+            else
+                child.resize(newSize, child.height);
+        }
+    }
+}
 //# sourceMappingURL=SplitterPanel.js.map

package/lib/js/TabHandle.d.ts

@@ -1,55 +1,55 @@
-import { TabPage } from "./TabPage.js";
-import { UndockInitiator } from "./UndockInitiator.js";
-import { EventHandler } from "./EventHandler.js";
-import { DockNode } from "./DockNode.js";
-/**
- * A tab handle represents the tab button on the tab strip
- */
-export declare class TabHandle {
-    parent: TabPage;
-    elementBase: HTMLDivElement;
-    elementText: HTMLDivElement;
-    elementCloseButton: HTMLDivElement;
-    undockInitiator: UndockInitiator;
-    mouseDownHandler: EventHandler;
-    touchDownHandler: EventHandler;
-    closeButtonHandler: EventHandler;
-    closeButtonTouchHandler: EventHandler;
-    auxClickHandler: EventHandler;
-    contextMenuHandler: EventHandler;
-    mouseMoveHandler: EventHandler;
-    touchMoveHandler: EventHandler;
-    mouseUpHandler: EventHandler;
-    touchUpHandler: EventHandler;
-    stargDragPosition: any;
-    dragged: boolean;
-    eventListeners: any[];
-    undockListener: {
-        onDockEnabled: (e: any) => void;
-        onHideCloseButton: (e: any) => void;
-    };
-    prev: number;
-    current: number;
-    direction: number;
-    _ctxMenu: HTMLDivElement;
-    _windowsContextMenuCloseBound: any;
-    constructor(parent: TabPage);
-    addListener(listener: any): void;
-    removeListener(listener: any): void;
-    undockEnabled(state: boolean): void;
-    static createContextMenuContentCallback: (tabHandle: TabHandle, contextMenuContainer: HTMLDivElement, documentMangerNodes: DockNode[]) => void;
-    oncontextMenuClicked(e: MouseEvent): void;
-    closeContextMenu(): void;
-    windowsContextMenuClose(e: Event): void;
-    onMouseDown(e: any): void;
-    onMouseUp(e: any): void;
-    moveTabEvent(that: any, state: any): void;
-    onMouseMove(e: any): void;
-    hideCloseButton(state: any): void;
-    updateTitle(): void;
-    destroy(): void;
-    _performUndock(e: any, dragOffset: any): import("./Dialog.js").Dialog;
-    onCloseButtonClicked(e: any): void;
-    setSelected(isSelected: boolean): void;
-    setActive(isActive: boolean): void;
-}
+import { TabPage } from "./TabPage.js";
+import { UndockInitiator } from "./UndockInitiator.js";
+import { EventHandler } from "./EventHandler.js";
+import { DockNode } from "./DockNode.js";
+/**
+ * A tab handle represents the tab button on the tab strip
+ */
+export declare class TabHandle {
+    parent: TabPage;
+    elementBase: HTMLDivElement;
+    elementText: HTMLDivElement;
+    elementCloseButton: HTMLDivElement;
+    undockInitiator: UndockInitiator;
+    mouseDownHandler: EventHandler;
+    touchDownHandler: EventHandler;
+    closeButtonHandler: EventHandler;
+    closeButtonTouchHandler: EventHandler;
+    auxClickHandler: EventHandler;
+    contextMenuHandler: EventHandler;
+    mouseMoveHandler: EventHandler;
+    touchMoveHandler: EventHandler;
+    mouseUpHandler: EventHandler;
+    touchUpHandler: EventHandler;
+    stargDragPosition: any;
+    dragged: boolean;
+    eventListeners: any[];
+    undockListener: {
+        onDockEnabled: (e: any) => void;
+        onHideCloseButton: (e: any) => void;
+    };
+    prev: number;
+    current: number;
+    direction: number;
+    _ctxMenu: HTMLDivElement;
+    _windowsContextMenuCloseBound: any;
+    constructor(parent: TabPage);
+    addListener(listener: any): void;
+    removeListener(listener: any): void;
+    undockEnabled(state: boolean): void;
+    static createContextMenuContentCallback: (tabHandle: TabHandle, contextMenuContainer: HTMLDivElement, documentMangerNodes: DockNode[]) => void;
+    oncontextMenuClicked(e: MouseEvent): void;
+    closeContextMenu(): void;
+    windowsContextMenuClose(e: Event): void;
+    onMouseDown(e: any): void;
+    onMouseUp(e: any): void;
+    moveTabEvent(that: any, state: any): void;
+    onMouseMove(e: any): void;
+    hideCloseButton(state: any): void;
+    updateTitle(): void;
+    destroy(): void;
+    _performUndock(e: any, dragOffset: any): import("./Dialog.js").Dialog;
+    onCloseButtonClicked(e: any): void;
+    setSelected(isSelected: boolean): void;
+    setActive(isActive: boolean): void;
+}