dockview 1.6.0 → 1.7.1

package/dist/esm/gridview/gridviewComponent.js

@@ -1,237 +0,0 @@
-import { getRelativeLocation, getGridLocation, } from './gridview';
-import { tail, sequenceEquals } from '../array';
-import { CompositeDisposable } from '../lifecycle';
-import { BaseGrid, toTarget, } from './baseComponentGridview';
-import { createComponent } from '../panel/componentFactory';
-import { Emitter } from '../events';
-export class GridviewComponent extends BaseGrid {
-    get orientation() {
-        return this.gridview.orientation;
-    }
-    set orientation(value) {
-        this.gridview.orientation = value;
-    }
-    get options() {
-        return this._options;
-    }
-    get deserializer() {
-        return this._deserializer;
-    }
-    set deserializer(value) {
-        this._deserializer = value;
-    }
-    constructor(element, options) {
-        super(element, {
-            proportionalLayout: options.proportionalLayout,
-            orientation: options.orientation,
-            styles: options.styles,
-        });
-        this._onDidLayoutfromJSON = new Emitter();
-        this.onDidLayoutFromJSON = this._onDidLayoutfromJSON.event;
-        this._options = options;
-        if (!this.options.components) {
-            this.options.components = {};
-        }
-        if (!this.options.frameworkComponents) {
-            this.options.frameworkComponents = {};
-        }
-    }
-    updateOptions(options) {
-        const hasOrientationChanged = typeof options.orientation === 'string' &&
-            this.gridview.orientation !== options.orientation;
-        this._options = Object.assign(Object.assign({}, this.options), options);
-        if (hasOrientationChanged) {
-            this.gridview.orientation = options.orientation;
-        }
-        this.layout(this.gridview.width, this.gridview.height, true);
-    }
-    removePanel(panel) {
-        this.removeGroup(panel);
-    }
-    /**
-     * Serialize the current state of the layout
-     *
-     * @returns A JSON respresentation of the layout
-     */
-    toJSON() {
-        var _a;
-        const data = this.gridview.serialize();
-        return {
-            grid: data,
-            activePanel: (_a = this.activeGroup) === null || _a === void 0 ? void 0 : _a.id,
-        };
-    }
-    setVisible(panel, visible) {
-        this.gridview.setViewVisible(getGridLocation(panel.element), visible);
-    }
-    setActive(panel) {
-        this._groups.forEach((value, _key) => {
-            value.value.setActive(panel === value.value);
-        });
-    }
-    focus() {
-        var _a;
-        (_a = this.activeGroup) === null || _a === void 0 ? void 0 : _a.focus();
-    }
-    fromJSON(serializedGridview) {
-        this.clear();
-        const { grid, activePanel } = serializedGridview;
-        const queue = [];
-        this.gridview.deserialize(grid, {
-            fromJSON: (node) => {
-                const { data } = node;
-                const view = createComponent(data.id, data.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkComponentFactory
-                    ? {
-                        createComponent: this.options.frameworkComponentFactory
-                            .createComponent,
-                    }
-                    : undefined);
-                queue.push(() => view.init({
-                    params: data.params,
-                    minimumWidth: data.minimumWidth,
-                    maximumWidth: data.maximumWidth,
-                    minimumHeight: data.minimumHeight,
-                    maximumHeight: data.maximumHeight,
-                    priority: data.priority,
-                    snap: !!data.snap,
-                    accessor: this,
-                    isVisible: node.visible,
-                }));
-                this._onDidAddGroup.fire(view);
-                this.registerPanel(view);
-                return view;
-            },
-        });
-        this.layout(this.width, this.height, true);
-        queue.forEach((f) => f());
-        if (typeof activePanel === 'string') {
-            const panel = this.getPanel(activePanel);
-            if (panel) {
-                this.doSetGroupActive(panel);
-            }
-        }
-        this._onDidLayoutfromJSON.fire();
-    }
-    clear() {
-        const hasActiveGroup = this.activeGroup;
-        const groups = Array.from(this._groups.values()); // reassign since group panels will mutate
-        for (const group of groups) {
-            group.disposable.dispose();
-            this.doRemoveGroup(group.value, { skipActive: true });
-        }
-        if (hasActiveGroup) {
-            this.doSetGroupActive(undefined);
-        }
-        this.gridview.clear();
-    }
-    movePanel(panel, options) {
-        var _a;
-        let relativeLocation;
-        const removedPanel = this.gridview.remove(panel);
-        const referenceGroup = (_a = this._groups.get(options.reference)) === null || _a === void 0 ? void 0 : _a.value;
-        if (!referenceGroup) {
-            throw new Error(`reference group ${options.reference} does not exist`);
-        }
-        const target = toTarget(options.direction);
-        if (target === 'center') {
-            throw new Error(`${target} not supported as an option`);
-        }
-        else {
-            const location = getGridLocation(referenceGroup.element);
-            relativeLocation = getRelativeLocation(this.gridview.orientation, location, target);
-        }
-        this.doAddGroup(removedPanel, relativeLocation, options.size);
-    }
-    addPanel(options) {
-        var _a, _b;
-        let relativeLocation = options.location || [0];
-        if ((_a = options.position) === null || _a === void 0 ? void 0 : _a.referencePanel) {
-            const referenceGroup = (_b = this._groups.get(options.position.referencePanel)) === null || _b === void 0 ? void 0 : _b.value;
-            if (!referenceGroup) {
-                throw new Error(`reference group ${options.position.referencePanel} does not exist`);
-            }
-            const target = toTarget(options.position.direction);
-            if (target === 'center') {
-                throw new Error(`${target} not supported as an option`);
-            }
-            else {
-                const location = getGridLocation(referenceGroup.element);
-                relativeLocation = getRelativeLocation(this.gridview.orientation, location, target);
-            }
-        }
-        const view = createComponent(options.id, options.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkComponentFactory
-            ? {
-                createComponent: this.options.frameworkComponentFactory
-                    .createComponent,
-            }
-            : undefined);
-        view.init({
-            params: options.params || {},
-            minimumWidth: options.minimumWidth,
-            maximumWidth: options.maximumWidth,
-            minimumHeight: options.minimumHeight,
-            maximumHeight: options.maximumHeight,
-            priority: options.priority,
-            snap: !!options.snap,
-            accessor: this,
-            isVisible: true,
-        });
-        this.registerPanel(view);
-        this.doAddGroup(view, relativeLocation, options.size);
-        return view;
-    }
-    registerPanel(panel) {
-        const disposable = new CompositeDisposable(panel.api.onDidFocusChange((event) => {
-            if (!event.isFocused) {
-                return;
-            }
-            this._groups.forEach((groupItem) => {
-                const group = groupItem.value;
-                if (group !== panel) {
-                    group.setActive(false);
-                }
-                else {
-                    group.setActive(true);
-                }
-            });
-        }));
-        this._groups.set(panel.id, {
-            value: panel,
-            disposable,
-        });
-    }
-    moveGroup(referenceGroup, groupId, target) {
-        const sourceGroup = this.getPanel(groupId);
-        if (!sourceGroup) {
-            throw new Error('invalid operation');
-        }
-        const referenceLocation = getGridLocation(referenceGroup.element);
-        const targetLocation = getRelativeLocation(this.gridview.orientation, referenceLocation, target);
-        const [targetParentLocation, to] = tail(targetLocation);
-        const sourceLocation = getGridLocation(sourceGroup.element);
-        const [sourceParentLocation, from] = tail(sourceLocation);
-        if (sequenceEquals(sourceParentLocation, targetParentLocation)) {
-            // special case when 'swapping' two views within same grid location
-            // if a group has one tab - we are essentially moving the 'group'
-            // which is equivalent to swapping two views in this case
-            this.gridview.moveView(sourceParentLocation, from, to);
-            return;
-        }
-        // source group will become empty so delete the group
-        const targetGroup = this.doRemoveGroup(sourceGroup, {
-            skipActive: true,
-            skipDispose: true,
-        });
-        // after deleting the group we need to re-evaulate the ref location
-        const updatedReferenceLocation = getGridLocation(referenceGroup.element);
-        const location = getRelativeLocation(this.gridview.orientation, updatedReferenceLocation, target);
-        this.doAddGroup(targetGroup, location);
-    }
-    removeGroup(group) {
-        super.removeGroup(group);
-    }
-    dispose() {
-        super.dispose();
-        this._onDidLayoutfromJSON.dispose();
-    }
-}

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

@@ -1,60 +0,0 @@
-import { PanelInitParameters } from '../panel/types';
-import { GridviewComponent, IGridPanelComponentView } from './gridviewComponent';
-import { BasePanelView, BasePanelViewExported, BasePanelViewState } from './basePanelView';
-import { GridviewPanelApi, GridviewPanelApiImpl } from '../api/gridviewPanelApi';
-import { LayoutPriority } from '../splitview/core/splitview';
-import { Event } from '../events';
-import { IViewSize } from './gridview';
-export interface GridviewInitParameters extends PanelInitParameters {
-    minimumWidth?: number;
-    maximumWidth?: number;
-    minimumHeight?: number;
-    maximumHeight?: number;
-    priority?: LayoutPriority;
-    snap?: boolean;
-    accessor: GridviewComponent;
-    isVisible?: boolean;
-}
-export interface IGridviewPanel extends BasePanelViewExported<GridviewPanelApi> {
-    readonly minimumWidth: number;
-    readonly maximumWidth: number;
-    readonly minimumHeight: number;
-    readonly maximumHeight: number;
-    readonly priority: LayoutPriority | undefined;
-    readonly snap: boolean;
-}
-export declare abstract class GridviewPanel extends BasePanelView<GridviewPanelApiImpl> implements IGridPanelComponentView, IGridviewPanel {
-    private _evaluatedMinimumWidth;
-    private _evaluatedMaximumWidth;
-    private _evaluatedMinimumHeight;
-    private _evaluatedMaximumHeight;
-    private _minimumWidth;
-    private _minimumHeight;
-    private _maximumWidth;
-    private _maximumHeight;
-    private _priority?;
-    private _snap;
-    private readonly _onDidChange;
-    readonly onDidChange: Event<IViewSize | undefined>;
-    get priority(): LayoutPriority | undefined;
-    get snap(): boolean;
-    get minimumWidth(): number;
-    get minimumHeight(): number;
-    get maximumHeight(): number;
-    get maximumWidth(): number;
-    get isActive(): boolean;
-    constructor(id: string, component: string, api: GridviewPanelApiImpl);
-    setVisible(isVisible: boolean): void;
-    setActive(isActive: boolean): void;
-    init(parameters: GridviewInitParameters): void;
-    private updateConstraints;
-    toJSON(): GridPanelViewState;
-}
-export interface GridPanelViewState extends BasePanelViewState {
-    minimumHeight?: number;
-    maximumHeight?: number;
-    minimumWidth?: number;
-    maximumWidth?: number;
-    snap?: boolean;
-    priority?: LayoutPriority;
-}

package/dist/esm/gridview/gridviewPanel.js

@@ -1,138 +0,0 @@
-import { BasePanelView, } from './basePanelView';
-import { Emitter } from '../events';
-export class GridviewPanel extends BasePanelView {
-    get priority() {
-        return this._priority;
-    }
-    get snap() {
-        return this._snap;
-    }
-    get minimumWidth() {
-        const width = typeof this._minimumWidth === 'function'
-            ? this._minimumWidth()
-            : this._minimumWidth;
-        if (width !== this._evaluatedMinimumWidth) {
-            this._evaluatedMinimumWidth = width;
-            this.updateConstraints();
-        }
-        return width;
-    }
-    get minimumHeight() {
-        const height = typeof this._minimumHeight === 'function'
-            ? this._minimumHeight()
-            : this._minimumHeight;
-        if (height !== this._evaluatedMinimumHeight) {
-            this._evaluatedMinimumHeight = height;
-            this.updateConstraints();
-        }
-        return height;
-    }
-    get maximumHeight() {
-        const height = typeof this._maximumHeight === 'function'
-            ? this._maximumHeight()
-            : this._maximumHeight;
-        if (height !== this._evaluatedMaximumHeight) {
-            this._evaluatedMaximumHeight = height;
-            this.updateConstraints();
-        }
-        return height;
-    }
-    get maximumWidth() {
-        const width = typeof this._maximumWidth === 'function'
-            ? this._maximumWidth()
-            : this._maximumWidth;
-        if (width !== this._evaluatedMaximumWidth) {
-            this._evaluatedMaximumWidth = width;
-            this.updateConstraints();
-        }
-        return width;
-    }
-    get isActive() {
-        return this.api.isActive;
-    }
-    constructor(id, component, api) {
-        super(id, component, api);
-        this._evaluatedMinimumWidth = 0;
-        this._evaluatedMaximumWidth = Number.MAX_SAFE_INTEGER;
-        this._evaluatedMinimumHeight = 0;
-        this._evaluatedMaximumHeight = Number.MAX_SAFE_INTEGER;
-        this._minimumWidth = 0;
-        this._minimumHeight = 0;
-        this._maximumWidth = Number.MAX_SAFE_INTEGER;
-        this._maximumHeight = Number.MAX_SAFE_INTEGER;
-        this._snap = false;
-        this._onDidChange = new Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this.api.initialize(this); // TODO: required to by-pass 'super before this' requirement
-        this.addDisposables(this._onDidChange, this.api.onVisibilityChange((event) => {
-            const { isVisible } = event;
-            const { accessor } = this._params;
-            accessor.setVisible(this, isVisible);
-        }), this.api.onActiveChange(() => {
-            const { accessor } = this._params;
-            accessor.setActive(this);
-        }), this.api.onDidConstraintsChangeInternal((event) => {
-            if (typeof event.minimumWidth === 'number' ||
-                typeof event.minimumWidth === 'function') {
-                this._minimumWidth = event.minimumWidth;
-            }
-            if (typeof event.minimumHeight === 'number' ||
-                typeof event.minimumHeight === 'function') {
-                this._minimumHeight = event.minimumHeight;
-            }
-            if (typeof event.maximumWidth === 'number' ||
-                typeof event.maximumWidth === 'function') {
-                this._maximumWidth = event.maximumWidth;
-            }
-            if (typeof event.maximumHeight === 'number' ||
-                typeof event.maximumHeight === 'function') {
-                this._maximumHeight = event.maximumHeight;
-            }
-        }), this.api.onDidSizeChange((event) => {
-            this._onDidChange.fire({
-                height: event.height,
-                width: event.width,
-            });
-        }));
-    }
-    setVisible(isVisible) {
-        this.api._onDidVisibilityChange.fire({ isVisible });
-    }
-    setActive(isActive) {
-        this.api._onDidActiveChange.fire({ isActive });
-    }
-    init(parameters) {
-        if (parameters.maximumHeight) {
-            this._maximumHeight = parameters.maximumHeight;
-        }
-        if (parameters.minimumHeight) {
-            this._minimumHeight = parameters.minimumHeight;
-        }
-        if (parameters.maximumWidth) {
-            this._maximumWidth = parameters.maximumWidth;
-        }
-        if (parameters.minimumWidth) {
-            this._minimumWidth = parameters.minimumWidth;
-        }
-        this._priority = parameters.priority;
-        this._snap = !!parameters.snap;
-        super.init(parameters);
-        if (typeof parameters.isVisible === 'boolean') {
-            this.setVisible(parameters.isVisible);
-        }
-    }
-    updateConstraints() {
-        this.api._onDidConstraintsChange.fire({
-            minimumWidth: this._evaluatedMinimumWidth,
-            maximumWidth: this._evaluatedMaximumWidth,
-            minimumHeight: this._evaluatedMinimumHeight,
-            maximumHeight: this._evaluatedMaximumHeight,
-        });
-    }
-    toJSON() {
-        const state = super.toJSON();
-        const maximum = (value) => value === Number.MAX_SAFE_INTEGER ? undefined : value;
-        const minimum = (value) => (value <= 0 ? undefined : value);
-        return Object.assign(Object.assign({}, state), { minimumHeight: minimum(this.minimumHeight), maximumHeight: maximum(this.maximumHeight), minimumWidth: minimum(this.minimumWidth), maximumWidth: maximum(this.maximumWidth), snap: this.snap, priority: this.priority });
-    }
-}

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

@@ -1,34 +0,0 @@
-import { IView, LayoutPriority, Orientation } from '../splitview/core/splitview';
-import { Event } from '../events';
-import { IGridView } from './gridview';
-export declare class LeafNode implements IView {
-    readonly view: IGridView;
-    readonly orientation: Orientation;
-    private readonly _onDidChange;
-    readonly onDidChange: Event<{
-        size?: number;
-        orthogonalSize?: number;
-    }>;
-    private _size;
-    private _orthogonalSize;
-    private _disposable;
-    private get minimumWidth();
-    private get maximumWidth();
-    private get minimumHeight();
-    private get maximumHeight();
-    get priority(): LayoutPriority | undefined;
-    get snap(): boolean | undefined;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get minimumOrthogonalSize(): number;
-    get maximumOrthogonalSize(): number;
-    get orthogonalSize(): number;
-    get size(): number;
-    get element(): HTMLElement;
-    get width(): number;
-    get height(): number;
-    constructor(view: IGridView, orientation: Orientation, orthogonalSize: number, size?: number);
-    setVisible(visible: boolean): void;
-    layout(size: number, orthogonalSize: number): void;
-    dispose(): void;
-}

package/dist/esm/gridview/leafNode.js

@@ -1,103 +0,0 @@
-/*---------------------------------------------------------------------------------------------
- * 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 { Orientation, } from '../splitview/core/splitview';
-import { Emitter } from '../events';
-export class LeafNode {
-    get minimumWidth() {
-        return this.view.minimumWidth;
-    }
-    get maximumWidth() {
-        return this.view.maximumWidth;
-    }
-    get minimumHeight() {
-        return this.view.minimumHeight;
-    }
-    get maximumHeight() {
-        return this.view.maximumHeight;
-    }
-    get priority() {
-        return this.view.priority;
-    }
-    get snap() {
-        return this.view.snap;
-    }
-    get minimumSize() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.minimumHeight
-            : this.minimumWidth;
-    }
-    get maximumSize() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.maximumHeight
-            : this.maximumWidth;
-    }
-    get minimumOrthogonalSize() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.minimumWidth
-            : this.minimumHeight;
-    }
-    get maximumOrthogonalSize() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.maximumWidth
-            : this.maximumHeight;
-    }
-    get orthogonalSize() {
-        return this._orthogonalSize;
-    }
-    get size() {
-        return this._size;
-    }
-    get element() {
-        return this.view.element;
-    }
-    get width() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.orthogonalSize
-            : this.size;
-    }
-    get height() {
-        return this.orientation === Orientation.HORIZONTAL
-            ? this.size
-            : this.orthogonalSize;
-    }
-    constructor(view, orientation, orthogonalSize, size = 0) {
-        this.view = view;
-        this.orientation = orientation;
-        this._onDidChange = new Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this._orthogonalSize = orthogonalSize;
-        this._size = size;
-        this._disposable = this.view.onDidChange((event) => {
-            if (event) {
-                this._onDidChange.fire({
-                    size: this.orientation === Orientation.VERTICAL
-                        ? event.width
-                        : event.height,
-                    orthogonalSize: this.orientation === Orientation.VERTICAL
-                        ? event.height
-                        : event.width,
-                });
-            }
-            else {
-                this._onDidChange.fire({});
-            }
-        });
-    }
-    setVisible(visible) {
-        if (this.view.setVisible) {
-            this.view.setVisible(visible);
-            this._onDidChange.fire({});
-        }
-    }
-    layout(size, orthogonalSize) {
-        this._size = size;
-        this._orthogonalSize = orthogonalSize;
-        this.view.layout(this.width, this.height);
-    }
-    dispose() {
-        this._onDidChange.dispose();
-        this._disposable.dispose();
-    }
-}

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

@@ -1,18 +0,0 @@
-import { GridviewPanel } from './gridviewPanel';
-import { ISplitviewStyles, Orientation } from '../splitview/core/splitview';
-import { FrameworkFactory } from '../types';
-export interface GridviewComponentOptions {
-    proportionalLayout: boolean;
-    orientation: Orientation;
-    components?: {
-        [componentName: string]: {
-            new (id: string, componentName: string): GridviewPanel;
-        };
-    };
-    frameworkComponents?: {
-        [componentName: string]: any;
-    };
-    frameworkComponentFactory?: FrameworkFactory<GridviewPanel>;
-    tabHeight?: number;
-    styles?: ISplitviewStyles;
-}

package/dist/esm/gridview/options.js

@@ -1 +0,0 @@
-export {};

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

@@ -1,3 +0,0 @@
-import { BranchNode } from './branchNode';
-import { LeafNode } from './leafNode';
-export type Node = BranchNode | LeafNode;

package/dist/esm/gridview/types.js

@@ -1 +0,0 @@
-export {};

package/dist/esm/groupview/dnd.d.ts

@@ -1,6 +0,0 @@
-export declare enum DockviewDropTargets {
-    Tab = 0,
-    Panel = 1,
-    TabContainer = 2,
-    Edge = 3
-}

package/dist/esm/groupview/dnd.js

@@ -1,7 +0,0 @@
-export var DockviewDropTargets;
-(function (DockviewDropTargets) {
-    DockviewDropTargets[DockviewDropTargets["Tab"] = 0] = "Tab";
-    DockviewDropTargets[DockviewDropTargets["Panel"] = 1] = "Panel";
-    DockviewDropTargets[DockviewDropTargets["TabContainer"] = 2] = "TabContainer";
-    DockviewDropTargets[DockviewDropTargets["Edge"] = 3] = "Edge";
-})(DockviewDropTargets || (DockviewDropTargets = {}));