dockview 1.5.0 → 1.5.2

package/dist/esm/gridview/branchNode.d.ts

@@ -1,46 +1,49 @@
-import { IView, Orientation, Sizing, LayoutPriority, ISplitviewStyles } from '../splitview/core/splitview';
-import { Event } from '../events';
-import { INodeDescriptor } from './gridview';
-import { Node } from './types';
-import { CompositeDisposable } from '../lifecycle';
-export declare class BranchNode extends CompositeDisposable implements IView {
-    readonly orientation: Orientation;
-    readonly proportionalLayout: boolean;
-    readonly styles: ISplitviewStyles | undefined;
-    readonly element: HTMLElement;
-    private splitview;
-    private _orthogonalSize;
-    private _size;
-    readonly children: Node[];
-    private readonly _onDidChange;
-    readonly onDidChange: Event<number | undefined>;
-    get width(): number;
-    get height(): number;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get minimumOrthogonalSize(): number;
-    get maximumOrthogonalSize(): number;
-    get orthogonalSize(): number;
-    get size(): number;
-    get minimumWidth(): number;
-    get minimumHeight(): number;
-    get maximumWidth(): number;
-    get maximumHeight(): number;
-    get priority(): LayoutPriority;
-    constructor(orientation: Orientation, proportionalLayout: boolean, styles: ISplitviewStyles | undefined, size: number, orthogonalSize: number, childDescriptors?: INodeDescriptor[]);
-    setVisible(visible: boolean): void;
-    isChildVisible(index: number): boolean;
-    setChildVisible(index: number, visible: boolean): void;
-    moveChild(from: number, to: number): void;
-    getChildSize(index: number): number;
-    resizeChild(index: number, size: number): void;
-    layout(size: number, orthogonalSize: number): void;
-    addChild(node: Node, size: number | Sizing, index: number, skipLayout?: boolean): void;
-    getChildCachedVisibleSize(index: number): number | undefined;
-    removeChild(index: number, sizing?: Sizing): void;
-    private _addChild;
-    private _removeChild;
-    private _childrenDisposable;
-    private setupChildrenEvents;
-    dispose(): void;
-}
+import { IView, Orientation, Sizing, LayoutPriority, ISplitviewStyles } from '../splitview/core/splitview';
+import { Event } from '../events';
+import { INodeDescriptor } from './gridview';
+import { Node } from './types';
+import { CompositeDisposable } from '../lifecycle';
+export declare class BranchNode extends CompositeDisposable implements IView {
+    readonly orientation: Orientation;
+    readonly proportionalLayout: boolean;
+    readonly styles: ISplitviewStyles | undefined;
+    readonly element: HTMLElement;
+    private splitview;
+    private _orthogonalSize;
+    private _size;
+    readonly children: Node[];
+    private readonly _onDidChange;
+    readonly onDidChange: Event<{
+        size?: number;
+        orthogonalSize?: number;
+    }>;
+    get width(): number;
+    get height(): number;
+    get minimumSize(): number;
+    get maximumSize(): number;
+    get minimumOrthogonalSize(): number;
+    get maximumOrthogonalSize(): number;
+    get orthogonalSize(): number;
+    get size(): number;
+    get minimumWidth(): number;
+    get minimumHeight(): number;
+    get maximumWidth(): number;
+    get maximumHeight(): number;
+    get priority(): LayoutPriority;
+    constructor(orientation: Orientation, proportionalLayout: boolean, styles: ISplitviewStyles | undefined, size: number, orthogonalSize: number, childDescriptors?: INodeDescriptor[]);
+    setVisible(visible: boolean): void;
+    isChildVisible(index: number): boolean;
+    setChildVisible(index: number, visible: boolean): void;
+    moveChild(from: number, to: number): void;
+    getChildSize(index: number): number;
+    resizeChild(index: number, size: number): void;
+    layout(size: number, orthogonalSize: number): void;
+    addChild(node: Node, size: number | Sizing, index: number, skipLayout?: boolean): void;
+    getChildCachedVisibleSize(index: number): number | undefined;
+    removeChild(index: number, sizing?: Sizing): void;
+    private _addChild;
+    private _removeChild;
+    private _childrenDisposable;
+    private setupChildrenEvents;
+    dispose(): void;
+}

package/dist/esm/gridview/branchNode.js

@@ -1,218 +1,218 @@
-/*---------------------------------------------------------------------------------------------
- * Accreditation: This file is largly based upon the MIT licenced VSCode sourcecode found at:
- * https://github.com/microsoft/vscode/tree/main/src/vs/base/browser/ui/grid
- *--------------------------------------------------------------------------------------------*/
-import { Splitview, Orientation, LayoutPriority, } from '../splitview/core/splitview';
-import { Emitter, Event } from '../events';
-import { LeafNode } from './leafNode';
-import { CompositeDisposable, Disposable } from '../lifecycle';
-export class BranchNode extends CompositeDisposable {
-    constructor(orientation, proportionalLayout, styles, size, orthogonalSize, childDescriptors) {
-        super();
-        this.orientation = orientation;
-        this.proportionalLayout = proportionalLayout;
-        this.styles = styles;
-        this.children = [];
-        this._onDidChange = new Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this._childrenDisposable = Disposable.NONE;
-        this._orthogonalSize = orthogonalSize;
-        this._size = size;
-        this.element = document.createElement('div');
-        this.element.className = 'branch-node';
-        if (!childDescriptors) {
-            this.splitview = new Splitview(this.element, {
-                orientation: this.orientation,
-                proportionalLayout,
-                styles,
-            });
-            this.splitview.layout(this.size, this.orthogonalSize);
-        }
-        else {
-            const descriptor = {
-                views: childDescriptors.map((childDescriptor) => {
-                    return {
-                        view: childDescriptor.node,
-                        size: childDescriptor.node.size,
-                        visible: childDescriptor.node instanceof LeafNode &&
-                            childDescriptor.visible !== undefined
-                            ? childDescriptor.visible
-                            : true,
-                    };
-                }),
-                size: this.size,
-            };
-            this.children = childDescriptors.map((c) => c.node);
-            this.splitview = new Splitview(this.element, {
-                orientation: this.orientation,
-                descriptor,
-                proportionalLayout,
-            });
-        }
-        this.addDisposables(this._onDidChange, this.splitview.onDidSashEnd(() => {
-            this._onDidChange.fire(undefined);
-        }));
-        this.setupChildrenEvents();
-    }
-    get width() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.size
-            : this.orthogonalSize;
-    }
-    get height() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.orthogonalSize
-            : this.size;
-    }
-    get minimumSize() {
-        return this.children.length === 0
-            ? 0
-            : Math.max(...this.children.map((c) => c.minimumOrthogonalSize));
-    }
-    get maximumSize() {
-        return Math.min(...this.children.map((c) => c.maximumOrthogonalSize));
-    }
-    get minimumOrthogonalSize() {
-        return this.splitview.minimumSize;
-    }
-    get maximumOrthogonalSize() {
-        return this.splitview.maximumSize;
-    }
-    get orthogonalSize() {
-        return this._orthogonalSize;
-    }
-    get size() {
-        return this._size;
-    }
-    get minimumWidth() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.minimumOrthogonalSize
-            : this.minimumSize;
-    }
-    get minimumHeight() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.minimumSize
-            : this.minimumOrthogonalSize;
-    }
-    get maximumWidth() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.maximumOrthogonalSize
-            : this.maximumSize;
-    }
-    get maximumHeight() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.maximumSize
-            : this.maximumOrthogonalSize;
-    }
-    get priority() {
-        if (this.children.length === 0) {
-            return LayoutPriority.Normal;
-        }
-        const priorities = this.children.map((c) => typeof c.priority === 'undefined'
-            ? LayoutPriority.Normal
-            : c.priority);
-        if (priorities.some((p) => p === LayoutPriority.High)) {
-            return LayoutPriority.High;
-        }
-        else if (priorities.some((p) => p === LayoutPriority.Low)) {
-            return LayoutPriority.Low;
-        }
-        return LayoutPriority.Normal;
-    }
-    setVisible(visible) {
-        for (const child of this.children) {
-            child.setVisible(visible);
-        }
-    }
-    isChildVisible(index) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        return this.splitview.isViewVisible(index);
-    }
-    setChildVisible(index, visible) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        if (this.splitview.isViewVisible(index) === visible) {
-            return;
-        }
-        this.splitview.setViewVisible(index, visible);
-    }
-    moveChild(from, to) {
-        if (from === to) {
-            return;
-        }
-        if (from < 0 || from >= this.children.length) {
-            throw new Error('Invalid from index');
-        }
-        if (from < to) {
-            to--;
-        }
-        this.splitview.moveView(from, to);
-        const child = this._removeChild(from);
-        this._addChild(child, to);
-    }
-    getChildSize(index) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        return this.splitview.getViewSize(index);
-    }
-    resizeChild(index, size) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        this.splitview.resizeView(index, size);
-    }
-    layout(size, orthogonalSize) {
-        this._size = orthogonalSize;
-        this._orthogonalSize = size;
-        this.splitview.layout(this.size, this.orthogonalSize);
-    }
-    addChild(node, size, index, skipLayout) {
-        if (index < 0 || index > this.children.length) {
-            throw new Error('Invalid index');
-        }
-        this.splitview.addView(node, size, index, skipLayout);
-        this._addChild(node, index);
-    }
-    getChildCachedVisibleSize(index) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        return this.splitview.getViewCachedVisibleSize(index);
-    }
-    removeChild(index, sizing) {
-        if (index < 0 || index >= this.children.length) {
-            throw new Error('Invalid index');
-        }
-        this.splitview.removeView(index, sizing);
-        this._removeChild(index);
-    }
-    _addChild(node, index) {
-        this.children.splice(index, 0, node);
-        this.setupChildrenEvents();
-    }
-    _removeChild(index) {
-        const [child] = this.children.splice(index, 1);
-        this.setupChildrenEvents();
-        return child;
-    }
-    setupChildrenEvents() {
-        this._childrenDisposable.dispose();
-        this._childrenDisposable = Event.any(...this.children.map((c) => c.onDidChange))(() => {
-            /**
-             * indicate a change has occured to allows any re-rendering but don't bubble
-             * event because that was specific to this branch
-             */
-            this._onDidChange.fire(undefined);
-        });
-    }
-    dispose() {
-        super.dispose();
-        this._childrenDisposable.dispose();
-        this.children.forEach((child) => child.dispose());
-        this.splitview.dispose();
-    }
-}
+/*---------------------------------------------------------------------------------------------
+ * Accreditation: This file is largly based upon the MIT licenced VSCode sourcecode found at:
+ * https://github.com/microsoft/vscode/tree/main/src/vs/base/browser/ui/grid
+ *--------------------------------------------------------------------------------------------*/
+import { Splitview, Orientation, LayoutPriority, } from '../splitview/core/splitview';
+import { Emitter, Event } from '../events';
+import { LeafNode } from './leafNode';
+import { CompositeDisposable, Disposable } from '../lifecycle';
+export class BranchNode extends CompositeDisposable {
+    constructor(orientation, proportionalLayout, styles, size, orthogonalSize, childDescriptors) {
+        super();
+        this.orientation = orientation;
+        this.proportionalLayout = proportionalLayout;
+        this.styles = styles;
+        this.children = [];
+        this._onDidChange = new Emitter();
+        this.onDidChange = this._onDidChange.event;
+        this._childrenDisposable = Disposable.NONE;
+        this._orthogonalSize = orthogonalSize;
+        this._size = size;
+        this.element = document.createElement('div');
+        this.element.className = 'branch-node';
+        if (!childDescriptors) {
+            this.splitview = new Splitview(this.element, {
+                orientation: this.orientation,
+                proportionalLayout,
+                styles,
+            });
+            this.splitview.layout(this.size, this.orthogonalSize);
+        }
+        else {
+            const descriptor = {
+                views: childDescriptors.map((childDescriptor) => {
+                    return {
+                        view: childDescriptor.node,
+                        size: childDescriptor.node.size,
+                        visible: childDescriptor.node instanceof LeafNode &&
+                            childDescriptor.visible !== undefined
+                            ? childDescriptor.visible
+                            : true,
+                    };
+                }),
+                size: this.size,
+            };
+            this.children = childDescriptors.map((c) => c.node);
+            this.splitview = new Splitview(this.element, {
+                orientation: this.orientation,
+                descriptor,
+                proportionalLayout,
+            });
+        }
+        this.addDisposables(this._onDidChange, this.splitview.onDidSashEnd(() => {
+            this._onDidChange.fire({});
+        }));
+        this.setupChildrenEvents();
+    }
+    get width() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.size
+            : this.orthogonalSize;
+    }
+    get height() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.orthogonalSize
+            : this.size;
+    }
+    get minimumSize() {
+        return this.children.length === 0
+            ? 0
+            : Math.max(...this.children.map((c) => c.minimumOrthogonalSize));
+    }
+    get maximumSize() {
+        return Math.min(...this.children.map((c) => c.maximumOrthogonalSize));
+    }
+    get minimumOrthogonalSize() {
+        return this.splitview.minimumSize;
+    }
+    get maximumOrthogonalSize() {
+        return this.splitview.maximumSize;
+    }
+    get orthogonalSize() {
+        return this._orthogonalSize;
+    }
+    get size() {
+        return this._size;
+    }
+    get minimumWidth() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.minimumOrthogonalSize
+            : this.minimumSize;
+    }
+    get minimumHeight() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.minimumSize
+            : this.minimumOrthogonalSize;
+    }
+    get maximumWidth() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.maximumOrthogonalSize
+            : this.maximumSize;
+    }
+    get maximumHeight() {
+        return this.orientation === Orientation.HORIZONTAL
+            ? this.maximumSize
+            : this.maximumOrthogonalSize;
+    }
+    get priority() {
+        if (this.children.length === 0) {
+            return LayoutPriority.Normal;
+        }
+        const priorities = this.children.map((c) => typeof c.priority === 'undefined'
+            ? LayoutPriority.Normal
+            : c.priority);
+        if (priorities.some((p) => p === LayoutPriority.High)) {
+            return LayoutPriority.High;
+        }
+        else if (priorities.some((p) => p === LayoutPriority.Low)) {
+            return LayoutPriority.Low;
+        }
+        return LayoutPriority.Normal;
+    }
+    setVisible(visible) {
+        for (const child of this.children) {
+            child.setVisible(visible);
+        }
+    }
+    isChildVisible(index) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        return this.splitview.isViewVisible(index);
+    }
+    setChildVisible(index, visible) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        if (this.splitview.isViewVisible(index) === visible) {
+            return;
+        }
+        this.splitview.setViewVisible(index, visible);
+    }
+    moveChild(from, to) {
+        if (from === to) {
+            return;
+        }
+        if (from < 0 || from >= this.children.length) {
+            throw new Error('Invalid from index');
+        }
+        if (from < to) {
+            to--;
+        }
+        this.splitview.moveView(from, to);
+        const child = this._removeChild(from);
+        this._addChild(child, to);
+    }
+    getChildSize(index) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        return this.splitview.getViewSize(index);
+    }
+    resizeChild(index, size) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        this.splitview.resizeView(index, size);
+    }
+    layout(size, orthogonalSize) {
+        this._size = orthogonalSize;
+        this._orthogonalSize = size;
+        this.splitview.layout(this.size, this.orthogonalSize);
+    }
+    addChild(node, size, index, skipLayout) {
+        if (index < 0 || index > this.children.length) {
+            throw new Error('Invalid index');
+        }
+        this.splitview.addView(node, size, index, skipLayout);
+        this._addChild(node, index);
+    }
+    getChildCachedVisibleSize(index) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        return this.splitview.getViewCachedVisibleSize(index);
+    }
+    removeChild(index, sizing) {
+        if (index < 0 || index >= this.children.length) {
+            throw new Error('Invalid index');
+        }
+        this.splitview.removeView(index, sizing);
+        this._removeChild(index);
+    }
+    _addChild(node, index) {
+        this.children.splice(index, 0, node);
+        this.setupChildrenEvents();
+    }
+    _removeChild(index) {
+        const [child] = this.children.splice(index, 1);
+        this.setupChildrenEvents();
+        return child;
+    }
+    setupChildrenEvents() {
+        this._childrenDisposable.dispose();
+        this._childrenDisposable = Event.any(...this.children.map((c) => c.onDidChange))((e) => {
+            /**
+             * indicate a change has occured to allows any re-rendering but don't bubble
+             * event because that was specific to this branch
+             */
+            this._onDidChange.fire({ size: e.orthogonalSize });
+        });
+    }
+    dispose() {
+        super.dispose();
+        this._childrenDisposable.dispose();
+        this.children.forEach((child) => child.dispose());
+        this.splitview.dispose();
+    }
+}