dockview-core 1.8.3 → 1.8.5

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

@@ -1,66 +1,66 @@
-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/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<T extends GridviewPanelApi = GridviewPanelApi> extends BasePanelViewExported<T> {
-    readonly minimumWidth: number;
-    readonly maximumWidth: number;
-    readonly minimumHeight: number;
-    readonly maximumHeight: number;
-    readonly priority: LayoutPriority | undefined;
-    readonly snap: boolean;
-}
-export declare abstract class GridviewPanel<T extends GridviewPanelApiImpl = GridviewPanelApiImpl> extends BasePanelView<T> 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, options?: {
-        minimumWidth?: number;
-        maximumWidth?: number;
-        minimumHeight?: number;
-        maximumHeight?: number;
-    }, api?: T);
-    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;
-}
+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/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<T extends GridviewPanelApi = GridviewPanelApi> extends BasePanelViewExported<T> {
+    readonly minimumWidth: number;
+    readonly maximumWidth: number;
+    readonly minimumHeight: number;
+    readonly maximumHeight: number;
+    readonly priority: LayoutPriority | undefined;
+    readonly snap: boolean;
+}
+export declare abstract class GridviewPanel<T extends GridviewPanelApiImpl = GridviewPanelApiImpl> extends BasePanelView<T> 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, options?: {
+        minimumWidth?: number;
+        maximumWidth?: number;
+        minimumHeight?: number;
+        maximumHeight?: number;
+    }, api?: T);
+    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;
+}
 //# sourceMappingURL=gridviewPanel.d.ts.map

package/dist/esm/gridview/gridviewPanel.js

@@ -1,152 +1,152 @@
-import { BasePanelView, } from './basePanelView';
-import { GridviewPanelApiImpl, } from '../api/gridviewPanelApi';
-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, options, api) {
-        super(id, component, api !== null && api !== void 0 ? api : new GridviewPanelApiImpl(id));
-        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;
-        if (typeof (options === null || options === void 0 ? void 0 : options.minimumWidth) === 'number') {
-            this._minimumWidth = options.minimumWidth;
-        }
-        if (typeof (options === null || options === void 0 ? void 0 : options.maximumWidth) === 'number') {
-            this._maximumWidth = options.maximumWidth;
-        }
-        if (typeof (options === null || options === void 0 ? void 0 : options.minimumHeight) === 'number') {
-            this._minimumHeight = options.minimumHeight;
-        }
-        if (typeof (options === null || options === void 0 ? void 0 : options.maximumHeight) === 'number') {
-            this._maximumHeight = options.maximumHeight;
-        }
-        this.api.initialize(this); // TODO: required to by-pass 'super before this' requirement
-        this.addDisposables(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,
-            });
-        }), this._onDidChange);
-    }
-    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 });
-    }
-}
+import { BasePanelView, } from './basePanelView';
+import { GridviewPanelApiImpl, } from '../api/gridviewPanelApi';
+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, options, api) {
+        super(id, component, api !== null && api !== void 0 ? api : new GridviewPanelApiImpl(id));
+        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;
+        if (typeof (options === null || options === void 0 ? void 0 : options.minimumWidth) === 'number') {
+            this._minimumWidth = options.minimumWidth;
+        }
+        if (typeof (options === null || options === void 0 ? void 0 : options.maximumWidth) === 'number') {
+            this._maximumWidth = options.maximumWidth;
+        }
+        if (typeof (options === null || options === void 0 ? void 0 : options.minimumHeight) === 'number') {
+            this._minimumHeight = options.minimumHeight;
+        }
+        if (typeof (options === null || options === void 0 ? void 0 : options.maximumHeight) === 'number') {
+            this._maximumHeight = options.maximumHeight;
+        }
+        this.api.initialize(this); // TODO: required to by-pass 'super before this' requirement
+        this.addDisposables(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,
+            });
+        }), this._onDidChange);
+    }
+    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 });
+    }
+}
 //# sourceMappingURL=gridviewPanel.js.map

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

@@ -1,35 +1,35 @@
-import { IView, LayoutPriority, Orientation } from '../splitview/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;
-}
+import { IView, LayoutPriority, Orientation } from '../splitview/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;
+}
 //# sourceMappingURL=leafNode.d.ts.map