dock-spawn-ts 2.513.0 → 2.514.0

package/lib/js/ResizableContainer.js

@@ -1,242 +1,242 @@
-import { ResizeHandle } from "./ResizeHandle.js";
-import { EventHandler } from "./EventHandler.js";
-import { Point } from "./Point.js";
-import { Utils } from "./Utils.js";
-/**
- * Decorates a dock container with resizer handles around its base element
- * This enables the container to be resized from all directions
- */
-export class ResizableContainer {
-    constructor(dialog, delegate, topLevelElement, disableResize = false) {
-        this.dialog = dialog;
-        this.disableResize = disableResize;
-        this.delegate = delegate;
-        this.containerElement = delegate.containerElement;
-        this.dockManager = delegate.dockManager;
-        this.topLevelElement = topLevelElement;
-        this.containerType = delegate.containerType;
-        this.topLevelElement.style.left = this.topLevelElement.offsetLeft + 'px';
-        this.topLevelElement.style.top = this.topLevelElement.offsetTop + 'px';
-        this.minimumAllowedChildNodes = delegate.minimumAllowedChildNodes;
-        this._buildResizeHandles();
-        this.readyToProcessNextResize = true;
-        this.dockSpawnResizedEvent = new CustomEvent("DockSpawnResizedEvent", { composed: true, bubbles: true });
-        this.iframeEventHandlers = [];
-    }
-    setActiveChild( /*child*/) {
-    }
-    _buildResizeHandles() {
-        this.resizeHandles = [];
-        //    this._buildResizeHandle(true, false, true, false); // Dont need the corner resizer near the close button
-        if (!this.disableResize) {
-            this._buildResizeHandle(false, true, true, false);
-            this._buildResizeHandle(true, false, false, true);
-            this._buildResizeHandle(false, true, false, true);
-            this._buildResizeHandle(true, false, false, false);
-            this._buildResizeHandle(false, true, false, false);
-            this._buildResizeHandle(false, false, true, false);
-            this._buildResizeHandle(false, false, false, true);
-        }
-    }
-    _buildResizeHandle(east, west, north, south) {
-        let handle = new ResizeHandle();
-        handle.east = east;
-        handle.west = west;
-        handle.north = north;
-        handle.south = south;
-        // Create an invisible div for the handle
-        handle.element = document.createElement('div');
-        this.topLevelElement.appendChild(handle.element);
-        // Build the class name for the handle
-        let verticalClass = '';
-        let horizontalClass = '';
-        if (north)
-            verticalClass = 'n';
-        if (south)
-            verticalClass = 's';
-        if (east)
-            horizontalClass = 'e';
-        if (west)
-            horizontalClass = 'w';
-        let cssClass = 'resize-handle-' + verticalClass + horizontalClass;
-        if (verticalClass.length > 0 && horizontalClass.length > 0)
-            handle.corner = true;
-        handle.element.classList.add(handle.corner ? 'resize-handle-corner' : 'resize-handle');
-        handle.element.classList.add(cssClass);
-        this.resizeHandles.push(handle);
-        handle.mouseDownHandler = new EventHandler(handle.element, 'mousedown', (e) => { this.onMouseDown(handle, e); });
-        handle.touchDownHandler = new EventHandler(handle.element, 'touchstart', (e) => { this.onMouseDown(handle, e); });
-    }
-    saveState(state) {
-        this.delegate.saveState(state);
-    }
-    loadState(state) {
-        this.delegate.loadState(state);
-    }
-    get width() {
-        return this.delegate.width;
-    }
-    get height() {
-        return this.delegate.height;
-    }
-    get name() {
-        return this.delegate.name;
-    }
-    set name(value) {
-        if (value)
-            this.delegate.name = value;
-    }
-    resize(width, height) {
-        this.delegate.resize(width, height);
-        this._adjustResizeHandles(width, height);
-        document.dispatchEvent(this.dockSpawnResizedEvent);
-    }
-    _adjustResizeHandles(width, height) {
-        this.resizeHandles.forEach((handle) => {
-            handle.adjustSize(width, height);
-        });
-    }
-    performLayout(children) {
-        this.delegate.performLayout(children, false);
-    }
-    destroy() {
-        this.removeDecorator();
-        this.delegate.destroy();
-    }
-    removeDecorator() {
-    }
-    onMouseMovedIframe(handle, e, iframe) {
-        let posIf = iframe.getBoundingClientRect();
-        this.onMouseMoved(handle, e, { x: posIf.x, y: posIf.y });
-    }
-    onMouseMoved(handle, event, iframeOffset) {
-        let touchOrMouseData = null;
-        if (event.changedTouches) {
-            if (event.changedTouches.length > 1)
-                return;
-            touchOrMouseData = event.changedTouches[0];
-        }
-        else {
-            touchOrMouseData = event;
-        }
-        if (!this.readyToProcessNextResize)
-            return;
-        this.readyToProcessNextResize = false;
-        if (this.dialog.panel)
-            this.dockManager.suspendLayout(this.dialog.panel);
-        let currentMousePosition = new Point(touchOrMouseData.clientX, touchOrMouseData.clientY);
-        if (iframeOffset)
-            currentMousePosition = new Point(touchOrMouseData.clientX + iframeOffset.x, touchOrMouseData.clientY + iframeOffset.y);
-        let dx = this.dockManager.checkXBounds(this.topLevelElement, currentMousePosition, this.previousMousePosition, handle.west, handle.east);
-        let dy = this.dockManager.checkYBounds(this.topLevelElement, currentMousePosition, this.previousMousePosition, handle.north, handle.south);
-        this._performDrag(handle, dx, dy);
-        this.previousMousePosition = currentMousePosition;
-        this.readyToProcessNextResize = true;
-        if (this.dialog.panel)
-            this.dockManager.resumeLayout(this.dialog.panel);
-        this.dockManager.notifyOnContainerResized(this);
-    }
-    onMouseDown(handle, event) {
-        let touchOrMouseData = null;
-        if (event.touches) {
-            if (event.touches.length > 1)
-                return;
-            touchOrMouseData = event.touches[0];
-        }
-        else {
-            touchOrMouseData = event;
-        }
-        this.previousMousePosition = new Point(touchOrMouseData.clientX, touchOrMouseData.clientY);
-        if (handle.mouseMoveHandler) {
-            handle.mouseMoveHandler.cancel();
-            delete handle.mouseMoveHandler;
-        }
-        if (handle.touchMoveHandler) {
-            handle.touchMoveHandler.cancel();
-            delete handle.touchMoveHandler;
-        }
-        if (handle.mouseUpHandler) {
-            handle.mouseUpHandler.cancel();
-            delete handle.mouseUpHandler;
-        }
-        if (handle.touchUpHandler) {
-            handle.touchUpHandler.cancel();
-            delete handle.touchUpHandler;
-        }
-        for (let e of this.iframeEventHandlers) {
-            e.cancel();
-        }
-        this.iframeEventHandlers = [];
-        // Create the mouse event handlers
-        handle.mouseMoveHandler = new EventHandler(window, 'mousemove', (e) => { this.onMouseMoved(handle, e); });
-        handle.touchMoveHandler = new EventHandler(window, 'touchmove', (e) => { this.onMouseMoved(handle, e); });
-        handle.mouseUpHandler = new EventHandler(window, 'mouseup', (e) => { this.onMouseUp(handle); });
-        handle.touchUpHandler = new EventHandler(window, 'touchend', (e) => { this.onMouseUp(handle); });
-        if (this.dockManager.iframes) {
-            for (let f of this.dockManager.iframes) {
-                let mmi = this.onMouseMovedIframe.bind(this);
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mousemove', (e) => mmi(handle, e, f)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mouseup', (e) => this.onMouseUp(handle)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchmove', (e) => mmi(handle, e, f)));
-                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchend', (e) => this.onMouseUp(handle)));
-            }
-        }
-        Utils.disableGlobalTextSelection(this.dockManager.config.dialogRootElement);
-    }
-    onMouseUp(handle) {
-        handle.mouseMoveHandler.cancel();
-        handle.touchMoveHandler.cancel();
-        handle.mouseUpHandler.cancel();
-        handle.touchUpHandler.cancel();
-        delete handle.mouseMoveHandler;
-        delete handle.touchMoveHandler;
-        delete handle.mouseUpHandler;
-        delete handle.touchUpHandler;
-        for (let e of this.iframeEventHandlers) {
-            e.cancel();
-        }
-        this.iframeEventHandlers = [];
-        Utils.enableGlobalTextSelection(this.dockManager.config.dialogRootElement);
-    }
-    _performDrag(handle, dx, dy) {
-        let bounds = {};
-        bounds.left = Utils.getPixels(this.topLevelElement.style.left);
-        bounds.top = Utils.getPixels(this.topLevelElement.style.top);
-        bounds.width = this.topLevelElement.clientWidth;
-        bounds.height = this.topLevelElement.clientHeight;
-        if (handle.east)
-            this._resizeEast(dx, bounds);
-        if (handle.west)
-            this._resizeWest(dx, bounds);
-        if (handle.north)
-            this._resizeNorth(dy, bounds);
-        if (handle.south)
-            this._resizeSouth(dy, bounds);
-    }
-    _resizeWest(dx, bounds) {
-        this._resizeContainer(dx, 0, -dx, 0, bounds);
-    }
-    _resizeEast(dx, bounds) {
-        this._resizeContainer(0, 0, dx, 0, bounds);
-    }
-    _resizeNorth(dy, bounds) {
-        this._resizeContainer(0, dy, 0, -dy, bounds);
-    }
-    _resizeSouth(dy, bounds) {
-        this._resizeContainer(0, 0, 0, dy, bounds);
-    }
-    _resizeContainer(leftDelta, topDelta, widthDelta, heightDelta, bounds) {
-        bounds.left += leftDelta;
-        bounds.top += topDelta;
-        bounds.width += widthDelta;
-        bounds.height += heightDelta;
-        let minWidth = 50; // TODO: Move to external configuration
-        let minHeight = 50; // TODO: Move to external configuration
-        bounds.width = Math.max(bounds.width, minWidth);
-        bounds.height = Math.max(bounds.height, minHeight);
-        this.topLevelElement.style.left = bounds.left + 'px';
-        this.topLevelElement.style.top = bounds.top + 'px';
-        this.resize(bounds.width, bounds.height);
-    }
-}
+import { ResizeHandle } from "./ResizeHandle.js";
+import { EventHandler } from "./EventHandler.js";
+import { Point } from "./Point.js";
+import { Utils } from "./Utils.js";
+/**
+ * Decorates a dock container with resizer handles around its base element
+ * This enables the container to be resized from all directions
+ */
+export class ResizableContainer {
+    constructor(dialog, delegate, topLevelElement, disableResize = false) {
+        this.dialog = dialog;
+        this.disableResize = disableResize;
+        this.delegate = delegate;
+        this.containerElement = delegate.containerElement;
+        this.dockManager = delegate.dockManager;
+        this.topLevelElement = topLevelElement;
+        this.containerType = delegate.containerType;
+        this.topLevelElement.style.left = this.topLevelElement.offsetLeft + 'px';
+        this.topLevelElement.style.top = this.topLevelElement.offsetTop + 'px';
+        this.minimumAllowedChildNodes = delegate.minimumAllowedChildNodes;
+        this._buildResizeHandles();
+        this.readyToProcessNextResize = true;
+        this.dockSpawnResizedEvent = new CustomEvent("DockSpawnResizedEvent", { composed: true, bubbles: true });
+        this.iframeEventHandlers = [];
+    }
+    setActiveChild( /*child*/) {
+    }
+    _buildResizeHandles() {
+        this.resizeHandles = [];
+        //    this._buildResizeHandle(true, false, true, false); // Dont need the corner resizer near the close button
+        if (!this.disableResize) {
+            this._buildResizeHandle(false, true, true, false);
+            this._buildResizeHandle(true, false, false, true);
+            this._buildResizeHandle(false, true, false, true);
+            this._buildResizeHandle(true, false, false, false);
+            this._buildResizeHandle(false, true, false, false);
+            this._buildResizeHandle(false, false, true, false);
+            this._buildResizeHandle(false, false, false, true);
+        }
+    }
+    _buildResizeHandle(east, west, north, south) {
+        let handle = new ResizeHandle();
+        handle.east = east;
+        handle.west = west;
+        handle.north = north;
+        handle.south = south;
+        // Create an invisible div for the handle
+        handle.element = document.createElement('div');
+        this.topLevelElement.appendChild(handle.element);
+        // Build the class name for the handle
+        let verticalClass = '';
+        let horizontalClass = '';
+        if (north)
+            verticalClass = 'n';
+        if (south)
+            verticalClass = 's';
+        if (east)
+            horizontalClass = 'e';
+        if (west)
+            horizontalClass = 'w';
+        let cssClass = 'resize-handle-' + verticalClass + horizontalClass;
+        if (verticalClass.length > 0 && horizontalClass.length > 0)
+            handle.corner = true;
+        handle.element.classList.add(handle.corner ? 'resize-handle-corner' : 'resize-handle');
+        handle.element.classList.add(cssClass);
+        this.resizeHandles.push(handle);
+        handle.mouseDownHandler = new EventHandler(handle.element, 'mousedown', (e) => { this.onMouseDown(handle, e); });
+        handle.touchDownHandler = new EventHandler(handle.element, 'touchstart', (e) => { this.onMouseDown(handle, e); });
+    }
+    saveState(state) {
+        this.delegate.saveState(state);
+    }
+    loadState(state) {
+        this.delegate.loadState(state);
+    }
+    get width() {
+        return this.delegate.width;
+    }
+    get height() {
+        return this.delegate.height;
+    }
+    get name() {
+        return this.delegate.name;
+    }
+    set name(value) {
+        if (value)
+            this.delegate.name = value;
+    }
+    resize(width, height) {
+        this.delegate.resize(width, height);
+        this._adjustResizeHandles(width, height);
+        document.dispatchEvent(this.dockSpawnResizedEvent);
+    }
+    _adjustResizeHandles(width, height) {
+        this.resizeHandles.forEach((handle) => {
+            handle.adjustSize(width, height);
+        });
+    }
+    performLayout(children) {
+        this.delegate.performLayout(children, false);
+    }
+    destroy() {
+        this.removeDecorator();
+        this.delegate.destroy();
+    }
+    removeDecorator() {
+    }
+    onMouseMovedIframe(handle, e, iframe) {
+        let posIf = iframe.getBoundingClientRect();
+        this.onMouseMoved(handle, e, { x: posIf.x, y: posIf.y });
+    }
+    onMouseMoved(handle, event, iframeOffset) {
+        let touchOrMouseData = null;
+        if (event.changedTouches) {
+            if (event.changedTouches.length > 1)
+                return;
+            touchOrMouseData = event.changedTouches[0];
+        }
+        else {
+            touchOrMouseData = event;
+        }
+        if (!this.readyToProcessNextResize)
+            return;
+        this.readyToProcessNextResize = false;
+        if (this.dialog.panel)
+            this.dockManager.suspendLayout(this.dialog.panel);
+        let currentMousePosition = new Point(touchOrMouseData.clientX, touchOrMouseData.clientY);
+        if (iframeOffset)
+            currentMousePosition = new Point(touchOrMouseData.clientX + iframeOffset.x, touchOrMouseData.clientY + iframeOffset.y);
+        let dx = this.dockManager.checkXBounds(this.topLevelElement, currentMousePosition, this.previousMousePosition, handle.west, handle.east);
+        let dy = this.dockManager.checkYBounds(this.topLevelElement, currentMousePosition, this.previousMousePosition, handle.north, handle.south);
+        this._performDrag(handle, dx, dy);
+        this.previousMousePosition = currentMousePosition;
+        this.readyToProcessNextResize = true;
+        if (this.dialog.panel)
+            this.dockManager.resumeLayout(this.dialog.panel);
+        this.dockManager.notifyOnContainerResized(this);
+    }
+    onMouseDown(handle, event) {
+        let touchOrMouseData = null;
+        if (event.touches) {
+            if (event.touches.length > 1)
+                return;
+            touchOrMouseData = event.touches[0];
+        }
+        else {
+            touchOrMouseData = event;
+        }
+        this.previousMousePosition = new Point(touchOrMouseData.clientX, touchOrMouseData.clientY);
+        if (handle.mouseMoveHandler) {
+            handle.mouseMoveHandler.cancel();
+            delete handle.mouseMoveHandler;
+        }
+        if (handle.touchMoveHandler) {
+            handle.touchMoveHandler.cancel();
+            delete handle.touchMoveHandler;
+        }
+        if (handle.mouseUpHandler) {
+            handle.mouseUpHandler.cancel();
+            delete handle.mouseUpHandler;
+        }
+        if (handle.touchUpHandler) {
+            handle.touchUpHandler.cancel();
+            delete handle.touchUpHandler;
+        }
+        for (let e of this.iframeEventHandlers) {
+            e.cancel();
+        }
+        this.iframeEventHandlers = [];
+        // Create the mouse event handlers
+        handle.mouseMoveHandler = new EventHandler(window, 'mousemove', (e) => { this.onMouseMoved(handle, e); });
+        handle.touchMoveHandler = new EventHandler(window, 'touchmove', (e) => { this.onMouseMoved(handle, e); });
+        handle.mouseUpHandler = new EventHandler(window, 'mouseup', (e) => { this.onMouseUp(handle); });
+        handle.touchUpHandler = new EventHandler(window, 'touchend', (e) => { this.onMouseUp(handle); });
+        if (this.dockManager.iframes) {
+            for (let f of this.dockManager.iframes) {
+                let mmi = this.onMouseMovedIframe.bind(this);
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mousemove', (e) => mmi(handle, e, f)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'mouseup', (e) => this.onMouseUp(handle)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchmove', (e) => mmi(handle, e, f)));
+                this.iframeEventHandlers.push(new EventHandler(f.contentWindow, 'touchend', (e) => this.onMouseUp(handle)));
+            }
+        }
+        Utils.disableGlobalTextSelection(this.dockManager.config.dialogRootElement);
+    }
+    onMouseUp(handle) {
+        handle.mouseMoveHandler.cancel();
+        handle.touchMoveHandler.cancel();
+        handle.mouseUpHandler.cancel();
+        handle.touchUpHandler.cancel();
+        delete handle.mouseMoveHandler;
+        delete handle.touchMoveHandler;
+        delete handle.mouseUpHandler;
+        delete handle.touchUpHandler;
+        for (let e of this.iframeEventHandlers) {
+            e.cancel();
+        }
+        this.iframeEventHandlers = [];
+        Utils.enableGlobalTextSelection(this.dockManager.config.dialogRootElement);
+    }
+    _performDrag(handle, dx, dy) {
+        let bounds = {};
+        bounds.left = Utils.getPixels(this.topLevelElement.style.left);
+        bounds.top = Utils.getPixels(this.topLevelElement.style.top);
+        bounds.width = this.topLevelElement.clientWidth;
+        bounds.height = this.topLevelElement.clientHeight;
+        if (handle.east)
+            this._resizeEast(dx, bounds);
+        if (handle.west)
+            this._resizeWest(dx, bounds);
+        if (handle.north)
+            this._resizeNorth(dy, bounds);
+        if (handle.south)
+            this._resizeSouth(dy, bounds);
+    }
+    _resizeWest(dx, bounds) {
+        this._resizeContainer(dx, 0, -dx, 0, bounds);
+    }
+    _resizeEast(dx, bounds) {
+        this._resizeContainer(0, 0, dx, 0, bounds);
+    }
+    _resizeNorth(dy, bounds) {
+        this._resizeContainer(0, dy, 0, -dy, bounds);
+    }
+    _resizeSouth(dy, bounds) {
+        this._resizeContainer(0, 0, 0, dy, bounds);
+    }
+    _resizeContainer(leftDelta, topDelta, widthDelta, heightDelta, bounds) {
+        bounds.left += leftDelta;
+        bounds.top += topDelta;
+        bounds.width += widthDelta;
+        bounds.height += heightDelta;
+        let minWidth = 50; // TODO: Move to external configuration
+        let minHeight = 50; // TODO: Move to external configuration
+        bounds.width = Math.max(bounds.width, minWidth);
+        bounds.height = Math.max(bounds.height, minHeight);
+        this.topLevelElement.style.left = bounds.left + 'px';
+        this.topLevelElement.style.top = bounds.top + 'px';
+        this.resize(bounds.width, bounds.height);
+    }
+}
 //# sourceMappingURL=ResizableContainer.js.map

package/lib/js/ResizeHandle.d.ts

@@ -1,15 +1,15 @@
-import { EventHandler } from "./EventHandler.js";
-export declare class ResizeHandle {
-    element: HTMLElement;
-    handleSize: number;
-    cornerSize: number;
-    east: boolean;
-    west: boolean;
-    north: boolean;
-    south: boolean;
-    corner: boolean;
-    mouseDownHandler: EventHandler;
-    touchDownHandler: EventHandler;
-    constructor();
-    adjustSize(clientWidth: number, clientHeight: number): void;
-}
+import { EventHandler } from "./EventHandler.js";
+export declare class ResizeHandle {
+    element: HTMLElement;
+    handleSize: number;
+    cornerSize: number;
+    east: boolean;
+    west: boolean;
+    north: boolean;
+    south: boolean;
+    corner: boolean;
+    mouseDownHandler: EventHandler;
+    touchDownHandler: EventHandler;
+    constructor();
+    adjustSize(clientWidth: number, clientHeight: number): void;
+}

package/lib/js/ResizeHandle.js

@@ -1,49 +1,49 @@
-export class ResizeHandle {
-    constructor() {
-        this.element = undefined;
-        this.handleSize = 6; // TODO: Get this from DOM
-        this.cornerSize = 12; // TODO: Get this from DOM
-        this.east = false;
-        this.west = false;
-        this.north = false;
-        this.south = false;
-        this.corner = false;
-    }
-    adjustSize(clientWidth, clientHeight) {
-        if (this.corner) {
-            if (this.west)
-                this.element.style.left = '0px';
-            if (this.east)
-                this.element.style.left = (clientWidth - this.cornerSize) + 'px';
-            if (this.north)
-                this.element.style.top = '0px';
-            if (this.south)
-                this.element.style.top = (clientHeight - this.cornerSize) + 'px';
-        }
-        else {
-            if (this.west) {
-                this.element.style.left = '0px';
-                this.element.style.top = this.cornerSize + 'px';
-            }
-            if (this.east) {
-                this.element.style.left = (clientWidth - this.handleSize) + 'px';
-                this.element.style.top = this.cornerSize + 'px';
-            }
-            if (this.north) {
-                this.element.style.left = this.cornerSize + 'px';
-                this.element.style.top = '0px';
-            }
-            if (this.south) {
-                this.element.style.left = this.cornerSize + 'px';
-                this.element.style.top = (clientHeight - this.handleSize) + 'px';
-            }
-            if (this.west || this.east) {
-                this.element.style.height = (clientHeight - this.cornerSize * 2) + 'px';
-            }
-            else {
-                this.element.style.width = (clientWidth - this.cornerSize * 2) + 'px';
-            }
-        }
-    }
-}
+export class ResizeHandle {
+    constructor() {
+        this.element = undefined;
+        this.handleSize = 6; // TODO: Get this from DOM
+        this.cornerSize = 12; // TODO: Get this from DOM
+        this.east = false;
+        this.west = false;
+        this.north = false;
+        this.south = false;
+        this.corner = false;
+    }
+    adjustSize(clientWidth, clientHeight) {
+        if (this.corner) {
+            if (this.west)
+                this.element.style.left = '0px';
+            if (this.east)
+                this.element.style.left = (clientWidth - this.cornerSize) + 'px';
+            if (this.north)
+                this.element.style.top = '0px';
+            if (this.south)
+                this.element.style.top = (clientHeight - this.cornerSize) + 'px';
+        }
+        else {
+            if (this.west) {
+                this.element.style.left = '0px';
+                this.element.style.top = this.cornerSize + 'px';
+            }
+            if (this.east) {
+                this.element.style.left = (clientWidth - this.handleSize) + 'px';
+                this.element.style.top = this.cornerSize + 'px';
+            }
+            if (this.north) {
+                this.element.style.left = this.cornerSize + 'px';
+                this.element.style.top = '0px';
+            }
+            if (this.south) {
+                this.element.style.left = this.cornerSize + 'px';
+                this.element.style.top = (clientHeight - this.handleSize) + 'px';
+            }
+            if (this.west || this.east) {
+                this.element.style.height = (clientHeight - this.cornerSize * 2) + 'px';
+            }
+            else {
+                this.element.style.width = (clientWidth - this.cornerSize * 2) + 'px';
+            }
+        }
+    }
+}
 //# sourceMappingURL=ResizeHandle.js.map