dockview 1.5.0 → 1.5.2

package/dist/esm/gridview/baseComponentGridview.js

@@ -1,189 +1,189 @@
-import { Emitter, Event, TickDelayedEvent } from '../events';
-import { getGridLocation, Gridview } from './gridview';
-import { Position } from '../dnd/droptarget';
-import { CompositeDisposable } from '../lifecycle';
-import { sequentialNumberGenerator } from '../math';
-import { Sizing, } from '../splitview/core/splitview';
-const nextLayoutId = sequentialNumberGenerator();
-export function toTarget(direction) {
-    switch (direction) {
-        case 'left':
-            return Position.Left;
-        case 'right':
-            return Position.Right;
-        case 'above':
-            return Position.Top;
-        case 'below':
-            return Position.Bottom;
-        case 'within':
-        default:
-            return Position.Center;
-    }
-}
-export class BaseGrid extends CompositeDisposable {
-    constructor(_element, options) {
-        super();
-        this._element = _element;
-        this._id = nextLayoutId.next();
-        this._groups = new Map();
-        this._onDidLayoutChange = new Emitter();
-        this.onDidLayoutChange = this._onDidLayoutChange.event;
-        this._onDidRemoveGroup = new Emitter();
-        this.onDidRemoveGroup = this._onDidRemoveGroup.event;
-        this._onDidAddGroup = new Emitter();
-        this.onDidAddGroup = this._onDidAddGroup.event;
-        this._onDidActiveGroupChange = new Emitter();
-        this.onDidActiveGroupChange = this._onDidActiveGroupChange.event;
-        this._bufferOnDidLayoutChange = new TickDelayedEvent();
-        this.gridview = new Gridview(!!options.proportionalLayout, options.styles, options.orientation);
-        this.element.appendChild(this.gridview.element);
-        this.layout(0, 0, true); // set some elements height/widths
-        this.addDisposables(this.gridview.onDidChange(() => {
-            this._bufferOnDidLayoutChange.fire();
-        }));
-        this.addDisposables(Event.any(this.onDidAddGroup, this.onDidRemoveGroup, this.onDidActiveGroupChange)(() => {
-            this._bufferOnDidLayoutChange.fire();
-        }), this._bufferOnDidLayoutChange.onEvent(() => {
-            this._onDidLayoutChange.fire();
-        }), this._bufferOnDidLayoutChange);
-    }
-    get id() {
-        return this._id;
-    }
-    get element() {
-        return this._element;
-    }
-    get size() {
-        return this._groups.size;
-    }
-    get groups() {
-        return Array.from(this._groups.values()).map((_) => _.value);
-    }
-    get width() {
-        return this.gridview.width;
-    }
-    get height() {
-        return this.gridview.height;
-    }
-    get minimumHeight() {
-        return this.gridview.minimumHeight;
-    }
-    get maximumHeight() {
-        return this.gridview.maximumHeight;
-    }
-    get minimumWidth() {
-        return this.gridview.minimumWidth;
-    }
-    get maximumWidth() {
-        return this.gridview.maximumWidth;
-    }
-    get activeGroup() {
-        return this._activeGroup;
-    }
-    setVisible(panel, visible) {
-        this.gridview.setViewVisible(getGridLocation(panel.element), visible);
-        this._onDidLayoutChange.fire();
-    }
-    isVisible(panel) {
-        return this.gridview.isViewVisible(getGridLocation(panel.element));
-    }
-    doAddGroup(group, location = [0], size) {
-        this.gridview.addView(group, size !== null && size !== void 0 ? size : Sizing.Distribute, location);
-        this._onDidAddGroup.fire(group);
-        this.doSetGroupActive(group);
-    }
-    doRemoveGroup(group, options) {
-        if (!this._groups.has(group.id)) {
-            throw new Error('invalid operation');
-        }
-        const item = this._groups.get(group.id);
-        const view = this.gridview.remove(group, Sizing.Distribute);
-        if (item && !(options === null || options === void 0 ? void 0 : options.skipDispose)) {
-            item.disposable.dispose();
-            item.value.dispose();
-            this._groups.delete(group.id);
-        }
-        this._onDidRemoveGroup.fire(group);
-        if (!(options === null || options === void 0 ? void 0 : options.skipActive) && this._activeGroup === group) {
-            const groups = Array.from(this._groups.values());
-            this.doSetGroupActive(groups.length > 0 ? groups[0].value : undefined);
-        }
-        return view;
-    }
-    getPanel(id) {
-        var _a;
-        return (_a = this._groups.get(id)) === null || _a === void 0 ? void 0 : _a.value;
-    }
-    doSetGroupActive(group, skipFocus) {
-        if (this._activeGroup === group) {
-            return;
-        }
-        if (this._activeGroup) {
-            this._activeGroup.setActive(false);
-            if (!skipFocus) {
-                this._activeGroup.focus();
-            }
-        }
-        if (group) {
-            group.setActive(true);
-            if (!skipFocus) {
-                group.focus();
-            }
-        }
-        this._activeGroup = group;
-        this._onDidActiveGroupChange.fire(group);
-    }
-    removeGroup(group) {
-        this.doRemoveGroup(group);
-    }
-    moveToNext(options) {
-        var _a;
-        if (!options) {
-            options = {};
-        }
-        if (!options.group) {
-            if (!this.activeGroup) {
-                return;
-            }
-            options.group = this.activeGroup;
-        }
-        const location = getGridLocation(options.group.element);
-        const next = (_a = this.gridview.next(location)) === null || _a === void 0 ? void 0 : _a.view;
-        this.doSetGroupActive(next);
-    }
-    moveToPrevious(options) {
-        var _a;
-        if (!options) {
-            options = {};
-        }
-        if (!options.group) {
-            if (!this.activeGroup) {
-                return;
-            }
-            options.group = this.activeGroup;
-        }
-        const location = getGridLocation(options.group.element);
-        const next = (_a = this.gridview.previous(location)) === null || _a === void 0 ? void 0 : _a.view;
-        this.doSetGroupActive(next);
-    }
-    layout(width, height, forceResize) {
-        const different = forceResize || width !== this.width || height !== this.height;
-        if (!different) {
-            return;
-        }
-        this.element.style.height = `${height}px`;
-        this.element.style.width = `${width}px`;
-        this.gridview.layout(width, height);
-    }
-    dispose() {
-        super.dispose();
-        this._onDidActiveGroupChange.dispose();
-        this._onDidAddGroup.dispose();
-        this._onDidRemoveGroup.dispose();
-        this._onDidLayoutChange.dispose();
-        for (const group of this.groups) {
-            group.dispose();
-        }
-        this.gridview.dispose();
-    }
-}
+import { Emitter, Event, TickDelayedEvent } from '../events';
+import { getGridLocation, Gridview } from './gridview';
+import { Position } from '../dnd/droptarget';
+import { CompositeDisposable } from '../lifecycle';
+import { sequentialNumberGenerator } from '../math';
+import { Sizing, } from '../splitview/core/splitview';
+const nextLayoutId = sequentialNumberGenerator();
+export function toTarget(direction) {
+    switch (direction) {
+        case 'left':
+            return Position.Left;
+        case 'right':
+            return Position.Right;
+        case 'above':
+            return Position.Top;
+        case 'below':
+            return Position.Bottom;
+        case 'within':
+        default:
+            return Position.Center;
+    }
+}
+export class BaseGrid extends CompositeDisposable {
+    constructor(_element, options) {
+        super();
+        this._element = _element;
+        this._id = nextLayoutId.next();
+        this._groups = new Map();
+        this._onDidLayoutChange = new Emitter();
+        this.onDidLayoutChange = this._onDidLayoutChange.event;
+        this._onDidRemoveGroup = new Emitter();
+        this.onDidRemoveGroup = this._onDidRemoveGroup.event;
+        this._onDidAddGroup = new Emitter();
+        this.onDidAddGroup = this._onDidAddGroup.event;
+        this._onDidActiveGroupChange = new Emitter();
+        this.onDidActiveGroupChange = this._onDidActiveGroupChange.event;
+        this._bufferOnDidLayoutChange = new TickDelayedEvent();
+        this.gridview = new Gridview(!!options.proportionalLayout, options.styles, options.orientation);
+        this.element.appendChild(this.gridview.element);
+        this.layout(0, 0, true); // set some elements height/widths
+        this.addDisposables(this.gridview.onDidChange(() => {
+            this._bufferOnDidLayoutChange.fire();
+        }));
+        this.addDisposables(Event.any(this.onDidAddGroup, this.onDidRemoveGroup, this.onDidActiveGroupChange)(() => {
+            this._bufferOnDidLayoutChange.fire();
+        }), this._bufferOnDidLayoutChange.onEvent(() => {
+            this._onDidLayoutChange.fire();
+        }), this._bufferOnDidLayoutChange);
+    }
+    get id() {
+        return this._id;
+    }
+    get element() {
+        return this._element;
+    }
+    get size() {
+        return this._groups.size;
+    }
+    get groups() {
+        return Array.from(this._groups.values()).map((_) => _.value);
+    }
+    get width() {
+        return this.gridview.width;
+    }
+    get height() {
+        return this.gridview.height;
+    }
+    get minimumHeight() {
+        return this.gridview.minimumHeight;
+    }
+    get maximumHeight() {
+        return this.gridview.maximumHeight;
+    }
+    get minimumWidth() {
+        return this.gridview.minimumWidth;
+    }
+    get maximumWidth() {
+        return this.gridview.maximumWidth;
+    }
+    get activeGroup() {
+        return this._activeGroup;
+    }
+    setVisible(panel, visible) {
+        this.gridview.setViewVisible(getGridLocation(panel.element), visible);
+        this._onDidLayoutChange.fire();
+    }
+    isVisible(panel) {
+        return this.gridview.isViewVisible(getGridLocation(panel.element));
+    }
+    doAddGroup(group, location = [0], size) {
+        this.gridview.addView(group, size !== null && size !== void 0 ? size : Sizing.Distribute, location);
+        this._onDidAddGroup.fire(group);
+        this.doSetGroupActive(group);
+    }
+    doRemoveGroup(group, options) {
+        if (!this._groups.has(group.id)) {
+            throw new Error('invalid operation');
+        }
+        const item = this._groups.get(group.id);
+        const view = this.gridview.remove(group, Sizing.Distribute);
+        if (item && !(options === null || options === void 0 ? void 0 : options.skipDispose)) {
+            item.disposable.dispose();
+            item.value.dispose();
+            this._groups.delete(group.id);
+        }
+        this._onDidRemoveGroup.fire(group);
+        if (!(options === null || options === void 0 ? void 0 : options.skipActive) && this._activeGroup === group) {
+            const groups = Array.from(this._groups.values());
+            this.doSetGroupActive(groups.length > 0 ? groups[0].value : undefined);
+        }
+        return view;
+    }
+    getPanel(id) {
+        var _a;
+        return (_a = this._groups.get(id)) === null || _a === void 0 ? void 0 : _a.value;
+    }
+    doSetGroupActive(group, skipFocus) {
+        if (this._activeGroup === group) {
+            return;
+        }
+        if (this._activeGroup) {
+            this._activeGroup.setActive(false);
+            if (!skipFocus) {
+                this._activeGroup.focus();
+            }
+        }
+        if (group) {
+            group.setActive(true);
+            if (!skipFocus) {
+                group.focus();
+            }
+        }
+        this._activeGroup = group;
+        this._onDidActiveGroupChange.fire(group);
+    }
+    removeGroup(group) {
+        this.doRemoveGroup(group);
+    }
+    moveToNext(options) {
+        var _a;
+        if (!options) {
+            options = {};
+        }
+        if (!options.group) {
+            if (!this.activeGroup) {
+                return;
+            }
+            options.group = this.activeGroup;
+        }
+        const location = getGridLocation(options.group.element);
+        const next = (_a = this.gridview.next(location)) === null || _a === void 0 ? void 0 : _a.view;
+        this.doSetGroupActive(next);
+    }
+    moveToPrevious(options) {
+        var _a;
+        if (!options) {
+            options = {};
+        }
+        if (!options.group) {
+            if (!this.activeGroup) {
+                return;
+            }
+            options.group = this.activeGroup;
+        }
+        const location = getGridLocation(options.group.element);
+        const next = (_a = this.gridview.previous(location)) === null || _a === void 0 ? void 0 : _a.view;
+        this.doSetGroupActive(next);
+    }
+    layout(width, height, forceResize) {
+        const different = forceResize || width !== this.width || height !== this.height;
+        if (!different) {
+            return;
+        }
+        this.element.style.height = `${height}px`;
+        this.element.style.width = `${width}px`;
+        this.gridview.layout(width, height);
+    }
+    dispose() {
+        super.dispose();
+        this._onDidActiveGroupChange.dispose();
+        this._onDidAddGroup.dispose();
+        this._onDidRemoveGroup.dispose();
+        this._onDidLayoutChange.dispose();
+        for (const group of this.groups) {
+            group.dispose();
+        }
+        this.gridview.dispose();
+    }
+}

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

@@ -1,43 +1,43 @@
-import { CompositeDisposable } from '../lifecycle';
-import { IFrameworkPart, PanelUpdateEvent, PanelInitParameters, IPanel } from '../panel/types';
-import { PanelApiImpl } from '../api/panelApi';
-export interface BasePanelViewState {
-    id: string;
-    component: string;
-    params?: Record<string, any>;
-}
-export interface BasePanelViewExported<T extends PanelApiImpl> {
-    readonly id: string;
-    readonly api: T;
-    readonly width: number;
-    readonly height: number;
-    readonly params: Record<string, any> | undefined;
-    focus(): void;
-    toJSON(): object;
-    update(event: PanelUpdateEvent): void;
-}
-export declare abstract class BasePanelView<T extends PanelApiImpl> extends CompositeDisposable implements IPanel, BasePanelViewExported<T> {
-    readonly id: string;
-    protected readonly component: string;
-    readonly api: T;
-    private _height;
-    private _width;
-    private _element;
-    protected part?: IFrameworkPart;
-    protected _params?: PanelInitParameters;
-    /**
-     * Provide an IFrameworkPart that will determine the rendered UI of this view piece.
-     */
-    protected abstract getComponent(): IFrameworkPart;
-    get element(): HTMLElement;
-    get width(): number;
-    get height(): number;
-    get params(): Record<string, any> | undefined;
-    constructor(id: string, component: string, api: T);
-    focus(): void;
-    layout(width: number, height: number): void;
-    init(parameters: PanelInitParameters): void;
-    update(event: PanelUpdateEvent): void;
-    toJSON(): BasePanelViewState;
-    dispose(): void;
-}
+import { CompositeDisposable } from '../lifecycle';
+import { IFrameworkPart, PanelUpdateEvent, PanelInitParameters, IPanel } from '../panel/types';
+import { PanelApiImpl } from '../api/panelApi';
+export interface BasePanelViewState {
+    id: string;
+    component: string;
+    params?: Record<string, any>;
+}
+export interface BasePanelViewExported<T extends PanelApiImpl> {
+    readonly id: string;
+    readonly api: T;
+    readonly width: number;
+    readonly height: number;
+    readonly params: Record<string, any> | undefined;
+    focus(): void;
+    toJSON(): object;
+    update(event: PanelUpdateEvent): void;
+}
+export declare abstract class BasePanelView<T extends PanelApiImpl> extends CompositeDisposable implements IPanel, BasePanelViewExported<T> {
+    readonly id: string;
+    protected readonly component: string;
+    readonly api: T;
+    private _height;
+    private _width;
+    private _element;
+    protected part?: IFrameworkPart;
+    protected _params?: PanelInitParameters;
+    /**
+     * Provide an IFrameworkPart that will determine the rendered UI of this view piece.
+     */
+    protected abstract getComponent(): IFrameworkPart;
+    get element(): HTMLElement;
+    get width(): number;
+    get height(): number;
+    get params(): Record<string, any> | undefined;
+    constructor(id: string, component: string, api: T);
+    focus(): void;
+    layout(width: number, height: number): void;
+    init(parameters: PanelInitParameters): void;
+    update(event: PanelUpdateEvent): void;
+    toJSON(): BasePanelViewState;
+    dispose(): void;
+}

package/dist/esm/gridview/basePanelView.js

@@ -1,74 +1,74 @@
-import { trackFocus } from '../dom';
-import { CompositeDisposable } from '../lifecycle';
-export class BasePanelView extends CompositeDisposable {
-    constructor(id, component, api) {
-        super();
-        this.id = id;
-        this.component = component;
-        this.api = api;
-        this._height = 0;
-        this._width = 0;
-        this._element = document.createElement('div');
-        this._element.tabIndex = -1;
-        this._element.style.outline = 'none';
-        this._element.style.height = '100%';
-        this._element.style.width = '100%';
-        this._element.style.overflow = 'hidden';
-        const { onDidFocus, onDidBlur } = trackFocus(this._element);
-        this.addDisposables(this.api, onDidFocus(() => {
-            this.api._onDidChangeFocus.fire({ isFocused: true });
-        }), onDidBlur(() => {
-            this.api._onDidChangeFocus.fire({ isFocused: false });
-        }));
-    }
-    get element() {
-        return this._element;
-    }
-    get width() {
-        return this._width;
-    }
-    get height() {
-        return this._height;
-    }
-    get params() {
-        var _a;
-        return (_a = this._params) === null || _a === void 0 ? void 0 : _a.params;
-    }
-    focus() {
-        this.api._onFocusEvent.fire();
-    }
-    layout(width, height) {
-        this._width = width;
-        this._height = height;
-        this.api._onDidDimensionChange.fire({ width, height });
-        if (this.part) {
-            if (this._params) {
-                this.part.update(this._params.params);
-            }
-        }
-    }
-    init(parameters) {
-        this._params = parameters;
-        this.part = this.getComponent();
-    }
-    update(event) {
-        var _a, _b;
-        this._params = Object.assign(Object.assign({}, this._params), { params: Object.assign(Object.assign({}, (_a = this._params) === null || _a === void 0 ? void 0 : _a.params), event.params) });
-        (_b = this.part) === null || _b === void 0 ? void 0 : _b.update({ params: this._params.params });
-    }
-    toJSON() {
-        var _a, _b;
-        const params = (_b = (_a = this._params) === null || _a === void 0 ? void 0 : _a.params) !== null && _b !== void 0 ? _b : {};
-        return {
-            id: this.id,
-            component: this.component,
-            params: Object.keys(params).length > 0 ? params : undefined,
-        };
-    }
-    dispose() {
-        var _a;
-        super.dispose();
-        this.api.dispose();
-        (_a = this.part) === null || _a === void 0 ? void 0 : _a.dispose();
-    }
-}
+import { trackFocus } from '../dom';
+import { CompositeDisposable } from '../lifecycle';
+export class BasePanelView extends CompositeDisposable {
+    constructor(id, component, api) {
+        super();
+        this.id = id;
+        this.component = component;
+        this.api = api;
+        this._height = 0;
+        this._width = 0;
+        this._element = document.createElement('div');
+        this._element.tabIndex = -1;
+        this._element.style.outline = 'none';
+        this._element.style.height = '100%';
+        this._element.style.width = '100%';
+        this._element.style.overflow = 'hidden';
+        const { onDidFocus, onDidBlur } = trackFocus(this._element);
+        this.addDisposables(this.api, onDidFocus(() => {
+            this.api._onDidChangeFocus.fire({ isFocused: true });
+        }), onDidBlur(() => {
+            this.api._onDidChangeFocus.fire({ isFocused: false });
+        }));
+    }
+    get element() {
+        return this._element;
+    }
+    get width() {
+        return this._width;
+    }
+    get height() {
+        return this._height;
+    }
+    get params() {
+        var _a;
+        return (_a = this._params) === null || _a === void 0 ? void 0 : _a.params;
+    }
+    focus() {
+        this.api._onFocusEvent.fire();
+    }
+    layout(width, height) {
+        this._width = width;
+        this._height = height;
+        this.api._onDidDimensionChange.fire({ width, height });
+        if (this.part) {
+            if (this._params) {
+                this.part.update(this._params.params);
+            }
+        }
+    }
+    init(parameters) {
+        this._params = parameters;
+        this.part = this.getComponent();
+    }
+    update(event) {
+        var _a, _b;
+        this._params = Object.assign(Object.assign({}, this._params), { params: Object.assign(Object.assign({}, (_a = this._params) === null || _a === void 0 ? void 0 : _a.params), event.params) });
+        (_b = this.part) === null || _b === void 0 ? void 0 : _b.update({ params: this._params.params });
+    }
+    toJSON() {
+        var _a, _b;
+        const params = (_b = (_a = this._params) === null || _a === void 0 ? void 0 : _a.params) !== null && _b !== void 0 ? _b : {};
+        return {
+            id: this.id,
+            component: this.component,
+            params: Object.keys(params).length > 0 ? params : undefined,
+        };
+    }
+    dispose() {
+        var _a;
+        super.dispose();
+        this.api.dispose();
+        (_a = this.part) === null || _a === void 0 ? void 0 : _a.dispose();
+    }
+}