dockview 1.5.0 → 1.5.2

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

@@ -1,85 +1,85 @@
-import { SerializedGridObject } from './gridview';
-import { Position } from '../dnd/droptarget';
-import { IPanelDeserializer } from '../dockview/deserializer';
-import { GridviewComponentOptions } from './options';
-import { BaseGrid, Direction, IBaseGrid, IGridPanelView } from './baseComponentGridview';
-import { GridviewPanel, GridviewInitParameters, GridPanelViewState, IGridviewPanel } from './gridviewPanel';
-import { BaseComponentOptions } from '../panel/types';
-import { Orientation, Sizing } from '../splitview/core/splitview';
-import { Event } from '../events';
-export interface SerializedGridview {
-    grid: {
-        height: number;
-        width: number;
-        orientation: Orientation;
-        root: SerializedGridObject<GridPanelViewState>;
-    };
-    activePanel?: string;
-}
-export interface AddComponentOptions extends BaseComponentOptions {
-    minimumWidth?: number;
-    maximumWidth?: number;
-    minimumHeight?: number;
-    maximumHeight?: number;
-    position?: {
-        direction: Direction;
-        referencePanel: string;
-    };
-    location?: number[];
-}
-export interface IGridPanelComponentView extends IGridPanelView {
-    init: (params: GridviewInitParameters) => void;
-}
-export declare type GridviewComponentUpdateOptions = Pick<GridviewComponentOptions, 'orientation' | 'components' | 'frameworkComponents'>;
-export interface IGridviewComponent extends IBaseGrid<GridviewPanel> {
-    readonly orientation: Orientation;
-    readonly onDidLayoutFromJSON: Event<void>;
-    updateOptions(options: Partial<GridviewComponentUpdateOptions>): void;
-    addPanel(options: AddComponentOptions): IGridviewPanel;
-    removePanel(panel: IGridviewPanel, sizing?: Sizing): void;
-    focus(): void;
-    fromJSON(serializedGridview: SerializedGridview): void;
-    toJSON(): SerializedGridview;
-    movePanel(panel: IGridviewPanel, options: {
-        direction: Direction;
-        reference: string;
-        size?: number;
-    }): void;
-    setVisible(panel: IGridviewPanel, visible: boolean): void;
-    setActive(panel: IGridviewPanel): void;
-}
-export declare class GridviewComponent extends BaseGrid<GridviewPanel> implements IGridviewComponent {
-    private _options;
-    private _deserializer;
-    private readonly _onDidLayoutfromJSON;
-    readonly onDidLayoutFromJSON: Event<void>;
-    get orientation(): Orientation;
-    set orientation(value: Orientation);
-    get options(): GridviewComponentOptions;
-    get deserializer(): IPanelDeserializer | undefined;
-    set deserializer(value: IPanelDeserializer | undefined);
-    constructor(element: HTMLElement, options: GridviewComponentOptions);
-    updateOptions(options: Partial<GridviewComponentUpdateOptions>): void;
-    removePanel(panel: GridviewPanel): void;
-    /**
-     * Serialize the current state of the layout
-     *
-     * @returns A JSON respresentation of the layout
-     */
-    toJSON(): SerializedGridview;
-    setVisible(panel: GridviewPanel, visible: boolean): void;
-    setActive(panel: GridviewPanel): void;
-    focus(): void;
-    fromJSON(serializedGridview: SerializedGridview): void;
-    clear(): void;
-    movePanel(panel: GridviewPanel, options: {
-        direction: Direction;
-        reference: string;
-        size?: number;
-    }): void;
-    addPanel(options: AddComponentOptions): IGridviewPanel;
-    private registerPanel;
-    moveGroup(referenceGroup: IGridPanelComponentView, groupId: string, target: Position): void;
-    removeGroup(group: GridviewPanel): void;
-    dispose(): void;
-}
+import { SerializedGridObject } from './gridview';
+import { Position } from '../dnd/droptarget';
+import { IPanelDeserializer } from '../dockview/deserializer';
+import { GridviewComponentOptions } from './options';
+import { BaseGrid, Direction, IBaseGrid, IGridPanelView } from './baseComponentGridview';
+import { GridviewPanel, GridviewInitParameters, GridPanelViewState, IGridviewPanel } from './gridviewPanel';
+import { BaseComponentOptions } from '../panel/types';
+import { Orientation, Sizing } from '../splitview/core/splitview';
+import { Event } from '../events';
+export interface SerializedGridview {
+    grid: {
+        height: number;
+        width: number;
+        orientation: Orientation;
+        root: SerializedGridObject<GridPanelViewState>;
+    };
+    activePanel?: string;
+}
+export interface AddComponentOptions extends BaseComponentOptions {
+    minimumWidth?: number;
+    maximumWidth?: number;
+    minimumHeight?: number;
+    maximumHeight?: number;
+    position?: {
+        direction: Direction;
+        referencePanel: string;
+    };
+    location?: number[];
+}
+export interface IGridPanelComponentView extends IGridPanelView {
+    init: (params: GridviewInitParameters) => void;
+}
+export declare type GridviewComponentUpdateOptions = Pick<GridviewComponentOptions, 'orientation' | 'components' | 'frameworkComponents'>;
+export interface IGridviewComponent extends IBaseGrid<GridviewPanel> {
+    readonly orientation: Orientation;
+    readonly onDidLayoutFromJSON: Event<void>;
+    updateOptions(options: Partial<GridviewComponentUpdateOptions>): void;
+    addPanel(options: AddComponentOptions): IGridviewPanel;
+    removePanel(panel: IGridviewPanel, sizing?: Sizing): void;
+    focus(): void;
+    fromJSON(serializedGridview: SerializedGridview): void;
+    toJSON(): SerializedGridview;
+    movePanel(panel: IGridviewPanel, options: {
+        direction: Direction;
+        reference: string;
+        size?: number;
+    }): void;
+    setVisible(panel: IGridviewPanel, visible: boolean): void;
+    setActive(panel: IGridviewPanel): void;
+}
+export declare class GridviewComponent extends BaseGrid<GridviewPanel> implements IGridviewComponent {
+    private _options;
+    private _deserializer;
+    private readonly _onDidLayoutfromJSON;
+    readonly onDidLayoutFromJSON: Event<void>;
+    get orientation(): Orientation;
+    set orientation(value: Orientation);
+    get options(): GridviewComponentOptions;
+    get deserializer(): IPanelDeserializer | undefined;
+    set deserializer(value: IPanelDeserializer | undefined);
+    constructor(element: HTMLElement, options: GridviewComponentOptions);
+    updateOptions(options: Partial<GridviewComponentUpdateOptions>): void;
+    removePanel(panel: GridviewPanel): void;
+    /**
+     * Serialize the current state of the layout
+     *
+     * @returns A JSON respresentation of the layout
+     */
+    toJSON(): SerializedGridview;
+    setVisible(panel: GridviewPanel, visible: boolean): void;
+    setActive(panel: GridviewPanel): void;
+    focus(): void;
+    fromJSON(serializedGridview: SerializedGridview): void;
+    clear(): void;
+    movePanel(panel: GridviewPanel, options: {
+        direction: Direction;
+        reference: string;
+        size?: number;
+    }): void;
+    addPanel(options: AddComponentOptions): IGridviewPanel;
+    private registerPanel;
+    moveGroup(referenceGroup: IGridPanelComponentView, groupId: string, target: Position): void;
+    removeGroup(group: GridviewPanel): void;
+    dispose(): void;
+}

package/dist/esm/gridview/gridviewComponent.js

@@ -1,238 +1,238 @@
-import { getRelativeLocation, getGridLocation, } from './gridview';
-import { Position } from '../dnd/droptarget';
-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 {
-    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 = {};
-        }
-    }
-    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;
-    }
-    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 === Position.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 === Position.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();
-    }
-}
+import { getRelativeLocation, getGridLocation, } from './gridview';
+import { Position } from '../dnd/droptarget';
+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 {
+    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 = {};
+        }
+    }
+    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;
+    }
+    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 === Position.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 === Position.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();
+    }
+}