dockview 1.5.0 → 1.5.2

package/dist/esm/paneview/paneviewPanel.d.ts

@@ -1,89 +1,92 @@
-import { PaneviewApi } from '../api/component.api';
-import { PaneviewPanelApiImpl } from '../api/paneviewPanelApi';
-import { Event } from '../events';
-import { BasePanelView, BasePanelViewExported, BasePanelViewState } from '../gridview/basePanelView';
-import { IDisposable } from '../lifecycle';
-import { IFrameworkPart, PanelInitParameters, PanelUpdateEvent } from '../panel/types';
-import { IView, Orientation } from '../splitview/core/splitview';
-export interface PanePanelViewState extends BasePanelViewState {
-    headerComponent?: string;
-    title: string;
-}
-export interface PanePanelInitParameter extends PanelInitParameters {
-    minimumBodySize?: number;
-    maximumBodySize?: number;
-    isExpanded?: boolean;
-    title: string;
-    containerApi: PaneviewApi;
-}
-export interface PanePanelComponentInitParameter extends PanePanelInitParameter {
-    api: PaneviewPanelApiImpl;
-}
-export interface IPaneBodyPart extends IDisposable {
-    readonly element: HTMLElement;
-    update(params: PanelUpdateEvent): void;
-    init(parameters: PanePanelComponentInitParameter): void;
-}
-export interface IPaneHeaderPart extends IDisposable {
-    readonly element: HTMLElement;
-    update(params: PanelUpdateEvent): void;
-    init(parameters: PanePanelComponentInitParameter): void;
-}
-export interface IPaneview extends IView {
-    onDidChangeExpansionState: Event<boolean>;
-}
-export interface IPaneviewPanel extends BasePanelViewExported<PaneviewPanelApiImpl> {
-    readonly minimumSize: number;
-    readonly maximumSize: number;
-    readonly minimumBodySize: number;
-    readonly maximumBodySize: number;
-    isExpanded(): boolean;
-    setExpanded(isExpanded: boolean): void;
-    headerVisible: boolean;
-}
-export declare abstract class PaneviewPanel extends BasePanelView<PaneviewPanelApiImpl> implements IPaneview, IPaneviewPanel {
-    private readonly headerComponent;
-    private _onDidChangeExpansionState;
-    onDidChangeExpansionState: Event<boolean>;
-    private readonly _onDidChange;
-    readonly onDidChange: Event<number | undefined>;
-    private headerSize;
-    private _orthogonalSize;
-    private _size;
-    private _minimumBodySize;
-    private _maximumBodySize;
-    private _isExpanded;
-    protected header?: HTMLElement;
-    protected body?: HTMLElement;
-    private bodyPart?;
-    private headerPart?;
-    private expandedSize;
-    private animationTimer;
-    private _orientation;
-    private _headerVisible;
-    set orientation(value: Orientation);
-    get orientation(): Orientation;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get size(): number;
-    get orthogonalSize(): number;
-    set orthogonalSize(size: number);
-    get minimumBodySize(): number;
-    set minimumBodySize(value: number);
-    get maximumBodySize(): number;
-    set maximumBodySize(value: number);
-    get headerVisible(): boolean;
-    set headerVisible(value: boolean);
-    constructor(id: string, component: string, headerComponent: string | undefined, orientation: Orientation, isExpanded: boolean, isHeaderVisible: boolean);
-    setVisible(isVisible: boolean): void;
-    setActive(isActive: boolean): void;
-    isExpanded(): boolean;
-    setExpanded(expanded: boolean): void;
-    layout(size: number, orthogonalSize: number): void;
-    init(parameters: PanePanelInitParameter): void;
-    toJSON(): PanePanelViewState;
-    private renderOnce;
-    getComponent(): IFrameworkPart;
-    protected abstract getBodyComponent(): IPaneBodyPart;
-    protected abstract getHeaderComponent(): IPaneHeaderPart;
-}
+import { PaneviewApi } from '../api/component.api';
+import { PaneviewPanelApiImpl } from '../api/paneviewPanelApi';
+import { Event } from '../events';
+import { BasePanelView, BasePanelViewExported, BasePanelViewState } from '../gridview/basePanelView';
+import { IDisposable } from '../lifecycle';
+import { IFrameworkPart, PanelInitParameters, PanelUpdateEvent } from '../panel/types';
+import { IView, Orientation } from '../splitview/core/splitview';
+export interface PanePanelViewState extends BasePanelViewState {
+    headerComponent?: string;
+    title: string;
+}
+export interface PanePanelInitParameter extends PanelInitParameters {
+    minimumBodySize?: number;
+    maximumBodySize?: number;
+    isExpanded?: boolean;
+    title: string;
+    containerApi: PaneviewApi;
+}
+export interface PanePanelComponentInitParameter extends PanePanelInitParameter {
+    api: PaneviewPanelApiImpl;
+}
+export interface IPaneBodyPart extends IDisposable {
+    readonly element: HTMLElement;
+    update(params: PanelUpdateEvent): void;
+    init(parameters: PanePanelComponentInitParameter): void;
+}
+export interface IPaneHeaderPart extends IDisposable {
+    readonly element: HTMLElement;
+    update(params: PanelUpdateEvent): void;
+    init(parameters: PanePanelComponentInitParameter): void;
+}
+export interface IPaneview extends IView {
+    onDidChangeExpansionState: Event<boolean>;
+}
+export interface IPaneviewPanel extends BasePanelViewExported<PaneviewPanelApiImpl> {
+    readonly minimumSize: number;
+    readonly maximumSize: number;
+    readonly minimumBodySize: number;
+    readonly maximumBodySize: number;
+    isExpanded(): boolean;
+    setExpanded(isExpanded: boolean): void;
+    headerVisible: boolean;
+}
+export declare abstract class PaneviewPanel extends BasePanelView<PaneviewPanelApiImpl> implements IPaneview, IPaneviewPanel {
+    private readonly headerComponent;
+    private _onDidChangeExpansionState;
+    onDidChangeExpansionState: Event<boolean>;
+    private readonly _onDidChange;
+    readonly onDidChange: Event<{
+        size?: number;
+        orthogonalSize?: number;
+    }>;
+    private headerSize;
+    private _orthogonalSize;
+    private _size;
+    private _minimumBodySize;
+    private _maximumBodySize;
+    private _isExpanded;
+    protected header?: HTMLElement;
+    protected body?: HTMLElement;
+    private bodyPart?;
+    private headerPart?;
+    private expandedSize;
+    private animationTimer;
+    private _orientation;
+    private _headerVisible;
+    set orientation(value: Orientation);
+    get orientation(): Orientation;
+    get minimumSize(): number;
+    get maximumSize(): number;
+    get size(): number;
+    get orthogonalSize(): number;
+    set orthogonalSize(size: number);
+    get minimumBodySize(): number;
+    set minimumBodySize(value: number);
+    get maximumBodySize(): number;
+    set maximumBodySize(value: number);
+    get headerVisible(): boolean;
+    set headerVisible(value: boolean);
+    constructor(id: string, component: string, headerComponent: string | undefined, orientation: Orientation, isExpanded: boolean, isHeaderVisible: boolean);
+    setVisible(isVisible: boolean): void;
+    setActive(isActive: boolean): void;
+    isExpanded(): boolean;
+    setExpanded(expanded: boolean): void;
+    layout(size: number, orthogonalSize: number): void;
+    init(parameters: PanePanelInitParameter): void;
+    toJSON(): PanePanelViewState;
+    private renderOnce;
+    getComponent(): IFrameworkPart;
+    protected abstract getBodyComponent(): IPaneBodyPart;
+    protected abstract getHeaderComponent(): IPaneHeaderPart;
+}

package/dist/esm/paneview/paneviewPanel.js

@@ -1,191 +1,191 @@
-import { PaneviewPanelApiImpl } from '../api/paneviewPanelApi';
-import { addClasses, removeClasses } from '../dom';
-import { addDisposableListener, Emitter } from '../events';
-import { BasePanelView, } from '../gridview/basePanelView';
-import { Orientation } from '../splitview/core/splitview';
-export class PaneviewPanel extends BasePanelView {
-    constructor(id, component, headerComponent, orientation, isExpanded, isHeaderVisible) {
-        super(id, component, new PaneviewPanelApiImpl(id));
-        this.headerComponent = headerComponent;
-        this._onDidChangeExpansionState = new Emitter({ replay: true });
-        this.onDidChangeExpansionState = this._onDidChangeExpansionState.event;
-        this._onDidChange = new Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this.headerSize = 22;
-        this._orthogonalSize = 0;
-        this._size = 0;
-        this._minimumBodySize = 100;
-        this._maximumBodySize = Number.POSITIVE_INFINITY;
-        this._isExpanded = false;
-        this.expandedSize = 0;
-        this.api.pane = this; // TODO cannot use 'this' before 'super'
-        this._isExpanded = isExpanded;
-        this._headerVisible = isHeaderVisible;
-        this._onDidChangeExpansionState.fire(this.isExpanded()); // initialize value
-        this._orientation = orientation;
-        this.element.classList.add('pane');
-        this.addDisposables(this.api.onDidSizeChange((event) => {
-            this._onDidChange.fire(event.size);
-        }), addDisposableListener(this.element, 'mouseenter', (ev) => {
-            this.api._onMouseEnter.fire(ev);
-        }), addDisposableListener(this.element, 'mouseleave', (ev) => {
-            this.api._onMouseLeave.fire(ev);
-        }));
-        this.addDisposables(this._onDidChangeExpansionState, this.onDidChangeExpansionState((isPanelExpanded) => {
-            this.api._onDidExpansionChange.fire({
-                isExpanded: isPanelExpanded,
-            });
-        }), this.api.onDidFocusChange((e) => {
-            if (!this.header) {
-                return;
-            }
-            if (e.isFocused) {
-                addClasses(this.header, 'focused');
-            }
-            else {
-                removeClasses(this.header, 'focused');
-            }
-        }));
-        this.renderOnce();
-    }
-    set orientation(value) {
-        this._orientation = value;
-    }
-    get orientation() {
-        return this._orientation;
-    }
-    get minimumSize() {
-        const headerSize = this.headerSize;
-        const expanded = this.isExpanded();
-        const minimumBodySize = expanded ? this._minimumBodySize : 0;
-        return headerSize + minimumBodySize;
-    }
-    get maximumSize() {
-        const headerSize = this.headerSize;
-        const expanded = this.isExpanded();
-        const maximumBodySize = expanded ? this._maximumBodySize : 0;
-        return headerSize + maximumBodySize;
-    }
-    get size() {
-        return this._size;
-    }
-    get orthogonalSize() {
-        return this._orthogonalSize;
-    }
-    set orthogonalSize(size) {
-        this._orthogonalSize = size;
-    }
-    get minimumBodySize() {
-        return this._minimumBodySize;
-    }
-    set minimumBodySize(value) {
-        this._minimumBodySize = typeof value === 'number' ? value : 0;
-    }
-    get maximumBodySize() {
-        return this._maximumBodySize;
-    }
-    set maximumBodySize(value) {
-        this._maximumBodySize =
-            typeof value === 'number' ? value : Number.POSITIVE_INFINITY;
-    }
-    get headerVisible() {
-        return this._headerVisible;
-    }
-    set headerVisible(value) {
-        this._headerVisible = value;
-        this.header.style.display = value ? '' : 'none';
-    }
-    setVisible(isVisible) {
-        this.api._onDidVisibilityChange.fire({ isVisible });
-    }
-    setActive(isActive) {
-        this.api._onDidActiveChange.fire({ isActive });
-    }
-    isExpanded() {
-        return this._isExpanded;
-    }
-    setExpanded(expanded) {
-        if (this._isExpanded === expanded) {
-            return;
-        }
-        this._isExpanded = expanded;
-        if (expanded) {
-            if (this.animationTimer) {
-                clearTimeout(this.animationTimer);
-            }
-            if (this.body) {
-                this.element.appendChild(this.body);
-            }
-        }
-        else {
-            this.animationTimer = setTimeout(() => {
-                var _a;
-                (_a = this.body) === null || _a === void 0 ? void 0 : _a.remove();
-            }, 200);
-        }
-        this._onDidChange.fire(expanded ? this.width : undefined);
-        this._onDidChangeExpansionState.fire(expanded);
-    }
-    layout(size, orthogonalSize) {
-        this._size = size;
-        this._orthogonalSize = orthogonalSize;
-        const [width, height] = this.orientation === Orientation.HORIZONTAL
-            ? [size, orthogonalSize]
-            : [orthogonalSize, size];
-        if (this.isExpanded()) {
-            this.expandedSize = width;
-        }
-        super.layout(width, height);
-    }
-    init(parameters) {
-        var _a, _b;
-        super.init(parameters);
-        if (typeof parameters.minimumBodySize === 'number') {
-            this.minimumBodySize = parameters.minimumBodySize;
-        }
-        if (typeof parameters.maximumBodySize === 'number') {
-            this.maximumBodySize = parameters.maximumBodySize;
-        }
-        this.bodyPart = this.getBodyComponent();
-        this.headerPart = this.getHeaderComponent();
-        this.bodyPart.init(Object.assign(Object.assign({}, parameters), { api: this.api }));
-        this.headerPart.init(Object.assign(Object.assign({}, parameters), { api: this.api }));
-        (_a = this.body) === null || _a === void 0 ? void 0 : _a.append(this.bodyPart.element);
-        (_b = this.header) === null || _b === void 0 ? void 0 : _b.append(this.headerPart.element);
-        if (typeof parameters.isExpanded === 'boolean') {
-            this.setExpanded(parameters.isExpanded);
-        }
-    }
-    toJSON() {
-        const params = this._params;
-        return Object.assign(Object.assign({}, super.toJSON()), { headerComponent: this.headerComponent, title: params.title });
-    }
-    renderOnce() {
-        this.header = document.createElement('div');
-        this.header.tabIndex = 0;
-        this.header.className = 'pane-header';
-        this.header.style.height = `${this.headerSize}px`;
-        this.header.style.lineHeight = `${this.headerSize}px`;
-        this.header.style.minHeight = `${this.headerSize}px`;
-        this.header.style.maxHeight = `${this.headerSize}px`;
-        this.element.appendChild(this.header);
-        this.body = document.createElement('div');
-        this.body.className = 'pane-body';
-        this.element.appendChild(this.body);
-    }
-    // TODO slightly hacky by-pass of the component to create a body and header component
-    getComponent() {
-        return {
-            update: (params) => {
-                var _a, _b;
-                (_a = this.bodyPart) === null || _a === void 0 ? void 0 : _a.update({ params });
-                (_b = this.headerPart) === null || _b === void 0 ? void 0 : _b.update({ params });
-            },
-            dispose: () => {
-                var _a, _b;
-                (_a = this.bodyPart) === null || _a === void 0 ? void 0 : _a.dispose();
-                (_b = this.headerPart) === null || _b === void 0 ? void 0 : _b.dispose();
-            },
-        };
-    }
-}
+import { PaneviewPanelApiImpl } from '../api/paneviewPanelApi';
+import { addClasses, removeClasses } from '../dom';
+import { addDisposableListener, Emitter } from '../events';
+import { BasePanelView, } from '../gridview/basePanelView';
+import { Orientation } from '../splitview/core/splitview';
+export class PaneviewPanel extends BasePanelView {
+    constructor(id, component, headerComponent, orientation, isExpanded, isHeaderVisible) {
+        super(id, component, new PaneviewPanelApiImpl(id));
+        this.headerComponent = headerComponent;
+        this._onDidChangeExpansionState = new Emitter({ replay: true });
+        this.onDidChangeExpansionState = this._onDidChangeExpansionState.event;
+        this._onDidChange = new Emitter();
+        this.onDidChange = this._onDidChange.event;
+        this.headerSize = 22;
+        this._orthogonalSize = 0;
+        this._size = 0;
+        this._minimumBodySize = 100;
+        this._maximumBodySize = Number.POSITIVE_INFINITY;
+        this._isExpanded = false;
+        this.expandedSize = 0;
+        this.api.pane = this; // TODO cannot use 'this' before 'super'
+        this._isExpanded = isExpanded;
+        this._headerVisible = isHeaderVisible;
+        this._onDidChangeExpansionState.fire(this.isExpanded()); // initialize value
+        this._orientation = orientation;
+        this.element.classList.add('pane');
+        this.addDisposables(this.api.onDidSizeChange((event) => {
+            this._onDidChange.fire({ size: event.size });
+        }), addDisposableListener(this.element, 'mouseenter', (ev) => {
+            this.api._onMouseEnter.fire(ev);
+        }), addDisposableListener(this.element, 'mouseleave', (ev) => {
+            this.api._onMouseLeave.fire(ev);
+        }));
+        this.addDisposables(this._onDidChangeExpansionState, this.onDidChangeExpansionState((isPanelExpanded) => {
+            this.api._onDidExpansionChange.fire({
+                isExpanded: isPanelExpanded,
+            });
+        }), this.api.onDidFocusChange((e) => {
+            if (!this.header) {
+                return;
+            }
+            if (e.isFocused) {
+                addClasses(this.header, 'focused');
+            }
+            else {
+                removeClasses(this.header, 'focused');
+            }
+        }));
+        this.renderOnce();
+    }
+    set orientation(value) {
+        this._orientation = value;
+    }
+    get orientation() {
+        return this._orientation;
+    }
+    get minimumSize() {
+        const headerSize = this.headerSize;
+        const expanded = this.isExpanded();
+        const minimumBodySize = expanded ? this._minimumBodySize : 0;
+        return headerSize + minimumBodySize;
+    }
+    get maximumSize() {
+        const headerSize = this.headerSize;
+        const expanded = this.isExpanded();
+        const maximumBodySize = expanded ? this._maximumBodySize : 0;
+        return headerSize + maximumBodySize;
+    }
+    get size() {
+        return this._size;
+    }
+    get orthogonalSize() {
+        return this._orthogonalSize;
+    }
+    set orthogonalSize(size) {
+        this._orthogonalSize = size;
+    }
+    get minimumBodySize() {
+        return this._minimumBodySize;
+    }
+    set minimumBodySize(value) {
+        this._minimumBodySize = typeof value === 'number' ? value : 0;
+    }
+    get maximumBodySize() {
+        return this._maximumBodySize;
+    }
+    set maximumBodySize(value) {
+        this._maximumBodySize =
+            typeof value === 'number' ? value : Number.POSITIVE_INFINITY;
+    }
+    get headerVisible() {
+        return this._headerVisible;
+    }
+    set headerVisible(value) {
+        this._headerVisible = value;
+        this.header.style.display = value ? '' : 'none';
+    }
+    setVisible(isVisible) {
+        this.api._onDidVisibilityChange.fire({ isVisible });
+    }
+    setActive(isActive) {
+        this.api._onDidActiveChange.fire({ isActive });
+    }
+    isExpanded() {
+        return this._isExpanded;
+    }
+    setExpanded(expanded) {
+        if (this._isExpanded === expanded) {
+            return;
+        }
+        this._isExpanded = expanded;
+        if (expanded) {
+            if (this.animationTimer) {
+                clearTimeout(this.animationTimer);
+            }
+            if (this.body) {
+                this.element.appendChild(this.body);
+            }
+        }
+        else {
+            this.animationTimer = setTimeout(() => {
+                var _a;
+                (_a = this.body) === null || _a === void 0 ? void 0 : _a.remove();
+            }, 200);
+        }
+        this._onDidChange.fire(expanded ? { size: this.width } : {});
+        this._onDidChangeExpansionState.fire(expanded);
+    }
+    layout(size, orthogonalSize) {
+        this._size = size;
+        this._orthogonalSize = orthogonalSize;
+        const [width, height] = this.orientation === Orientation.HORIZONTAL
+            ? [size, orthogonalSize]
+            : [orthogonalSize, size];
+        if (this.isExpanded()) {
+            this.expandedSize = width;
+        }
+        super.layout(width, height);
+    }
+    init(parameters) {
+        var _a, _b;
+        super.init(parameters);
+        if (typeof parameters.minimumBodySize === 'number') {
+            this.minimumBodySize = parameters.minimumBodySize;
+        }
+        if (typeof parameters.maximumBodySize === 'number') {
+            this.maximumBodySize = parameters.maximumBodySize;
+        }
+        this.bodyPart = this.getBodyComponent();
+        this.headerPart = this.getHeaderComponent();
+        this.bodyPart.init(Object.assign(Object.assign({}, parameters), { api: this.api }));
+        this.headerPart.init(Object.assign(Object.assign({}, parameters), { api: this.api }));
+        (_a = this.body) === null || _a === void 0 ? void 0 : _a.append(this.bodyPart.element);
+        (_b = this.header) === null || _b === void 0 ? void 0 : _b.append(this.headerPart.element);
+        if (typeof parameters.isExpanded === 'boolean') {
+            this.setExpanded(parameters.isExpanded);
+        }
+    }
+    toJSON() {
+        const params = this._params;
+        return Object.assign(Object.assign({}, super.toJSON()), { headerComponent: this.headerComponent, title: params.title });
+    }
+    renderOnce() {
+        this.header = document.createElement('div');
+        this.header.tabIndex = 0;
+        this.header.className = 'pane-header';
+        this.header.style.height = `${this.headerSize}px`;
+        this.header.style.lineHeight = `${this.headerSize}px`;
+        this.header.style.minHeight = `${this.headerSize}px`;
+        this.header.style.maxHeight = `${this.headerSize}px`;
+        this.element.appendChild(this.header);
+        this.body = document.createElement('div');
+        this.body.className = 'pane-body';
+        this.element.appendChild(this.body);
+    }
+    // TODO slightly hacky by-pass of the component to create a body and header component
+    getComponent() {
+        return {
+            update: (params) => {
+                var _a, _b;
+                (_a = this.bodyPart) === null || _a === void 0 ? void 0 : _a.update({ params });
+                (_b = this.headerPart) === null || _b === void 0 ? void 0 : _b.update({ params });
+            },
+            dispose: () => {
+                var _a, _b;
+                (_a = this.bodyPart) === null || _a === void 0 ? void 0 : _a.dispose();
+                (_b = this.headerPart) === null || _b === void 0 ? void 0 : _b.dispose();
+            },
+        };
+    }
+}

package/dist/esm/react/deserializer.d.ts

@@ -1,9 +1,9 @@
-import { DockviewComponent } from '../dockview/dockviewComponent';
-import { GroupviewPanelState, IDockviewPanel } from '../groupview/groupPanel';
-import { IPanelDeserializer } from '../dockview/deserializer';
-import { GroupPanel } from '../groupview/groupviewPanel';
-export declare class ReactPanelDeserialzier implements IPanelDeserializer {
-    private readonly layout;
-    constructor(layout: DockviewComponent);
-    fromJSON(panelData: GroupviewPanelState, group: GroupPanel): IDockviewPanel;
-}
+import { DockviewComponent } from '../dockview/dockviewComponent';
+import { GroupviewPanelState, IDockviewPanel } from '../groupview/groupPanel';
+import { IPanelDeserializer } from '../dockview/deserializer';
+import { GroupPanel } from '../groupview/groupviewPanel';
+export declare class ReactPanelDeserialzier implements IPanelDeserializer {
+    private readonly layout;
+    constructor(layout: DockviewComponent);
+    fromJSON(panelData: GroupviewPanelState, group: GroupPanel): IDockviewPanel;
+}