dockview-core 7.0.4 → 8.1.0

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

@@ -1,88 +0,0 @@
-import { SerializedGridview } from './gridview';
-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, Parameters } from '../panel/types';
-import { Orientation, Sizing } from '../splitview/splitview';
-import { Emitter, Event } from '../events';
-import { Position } from '../dnd/droptarget';
-export interface SerializedGridviewComponent {
-    grid: SerializedGridview<GridPanelViewState>;
-    activePanel?: string;
-}
-export interface AddGridviewComponentOptions<T extends object = Parameters> extends BaseComponentOptions<T> {
-    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 interface IGridviewComponent extends IBaseGrid<GridviewPanel> {
-    readonly orientation: Orientation;
-    readonly onDidLayoutFromJSON: Event<void>;
-    updateOptions(options: Partial<GridviewComponentOptions>): void;
-    addPanel<T extends object = Parameters>(options: AddGridviewComponentOptions<T>): IGridviewPanel;
-    removePanel(panel: IGridviewPanel, sizing?: Sizing): void;
-    focus(): void;
-    fromJSON(serializedGridview: SerializedGridviewComponent): void;
-    toJSON(): SerializedGridviewComponent;
-    movePanel(panel: IGridviewPanel, options: {
-        direction: Direction;
-        reference: string;
-        size?: number;
-    }): void;
-    setVisible(panel: IGridviewPanel, visible: boolean): void;
-    setActive(panel: IGridviewPanel): void;
-    readonly onDidRemoveGroup: Event<GridviewPanel>;
-    readonly onDidAddGroup: Event<GridviewPanel>;
-    readonly onDidActiveGroupChange: Event<GridviewPanel | undefined>;
-}
-export declare class GridviewComponent extends BaseGrid<GridviewPanel> implements IGridviewComponent {
-    private _options;
-    private _deserializer;
-    private readonly _onDidLayoutfromJSON;
-    readonly onDidLayoutFromJSON: Event<void>;
-    private readonly _onDidRemoveGroup;
-    readonly onDidRemoveGroup: Event<GridviewPanel>;
-    protected readonly _onDidAddGroup: Emitter<GridviewPanel<import("../api/gridviewPanelApi").GridviewPanelApiImpl>>;
-    readonly onDidAddGroup: Event<GridviewPanel>;
-    private readonly _onDidActiveGroupChange;
-    readonly onDidActiveGroupChange: Event<GridviewPanel | undefined>;
-    get orientation(): Orientation;
-    set orientation(value: Orientation);
-    get options(): GridviewComponentOptions;
-    get deserializer(): IPanelDeserializer | undefined;
-    set deserializer(value: IPanelDeserializer | undefined);
-    constructor(container: HTMLElement, options: GridviewComponentOptions);
-    updateOptions(options: Partial<GridviewComponentOptions>): void;
-    removePanel(panel: GridviewPanel): void;
-    /**
-     * Serialize the current state of the layout
-     *
-     * @returns A JSON respresentation of the layout
-     */
-    toJSON(): SerializedGridviewComponent;
-    setVisible(panel: GridviewPanel, visible: boolean): void;
-    setActive(panel: GridviewPanel): void;
-    focus(): void;
-    fromJSON(serializedGridview: SerializedGridviewComponent): void;
-    clear(): void;
-    movePanel(panel: GridviewPanel, options: {
-        direction: Direction;
-        reference: string;
-        size?: number;
-    }): void;
-    addPanel<T extends object = Parameters>(options: AddGridviewComponentOptions<T>): IGridviewPanel;
-    private registerPanel;
-    moveGroup(referenceGroup: IGridPanelComponentView, groupId: string, target: Position): void;
-    removeGroup(group: GridviewPanel): void;
-    dispose(): void;
-}

package/dist/esm/gridview/gridviewComponent.js

@@ -1,265 +0,0 @@
-import { getRelativeLocation, getGridLocation, } from './gridview';
-import { tail, sequenceEquals } from '../array';
-import { CompositeDisposable } from '../lifecycle';
-import { BaseGrid, toTarget, } from './baseComponentGridview';
-import { Emitter } from '../events';
-export class GridviewComponent extends BaseGrid {
-    get orientation() {
-        return this.gridview.orientation;
-    }
-    set orientation(value) {
-        this.gridview.orientation = value;
-    }
-    get options() {
-        return this._options;
-    }
-    get deserializer() {
-        return this._deserializer;
-    }
-    set deserializer(value) {
-        this._deserializer = value;
-    }
-    constructor(container, options) {
-        var _a;
-        super(container, {
-            proportionalLayout: (_a = options.proportionalLayout) !== null && _a !== void 0 ? _a : true,
-            orientation: options.orientation,
-            styles: options.hideBorders
-                ? { separatorBorder: 'transparent' }
-                : undefined,
-            disableAutoResizing: options.disableAutoResizing,
-            className: options.className,
-        });
-        this._onDidLayoutfromJSON = new Emitter();
-        this.onDidLayoutFromJSON = this._onDidLayoutfromJSON.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._options = options;
-        this.addDisposables(this._onDidAddGroup, this._onDidRemoveGroup, this._onDidActiveGroupChange, this.onDidAdd((event) => {
-            this._onDidAddGroup.fire(event);
-        }), this.onDidRemove((event) => {
-            this._onDidRemoveGroup.fire(event);
-        }), this.onDidActiveChange((event) => {
-            this._onDidActiveGroupChange.fire(event);
-        }));
-    }
-    updateOptions(options) {
-        super.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;
-        try {
-            const queue = [];
-            // take note of the existing dimensions
-            const width = this.width;
-            const height = this.height;
-            this.gridview.deserialize(grid, {
-                fromJSON: (node) => {
-                    const { data } = node;
-                    const view = this.options.createComponent({
-                        id: data.id,
-                        name: data.component,
-                    });
-                    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(width, height, true);
-            queue.forEach((f) => f());
-            if (typeof activePanel === 'string') {
-                const panel = this.getPanel(activePanel);
-                if (panel) {
-                    this.doSetGroupActive(panel);
-                }
-            }
-        }
-        catch (err) {
-            /**
-             * To remove a group we cannot call this.removeGroup(...) since this makes assumptions about
-             * the underlying HTMLElement existing in the Gridview.
-             */
-            for (const group of this.groups) {
-                group.dispose();
-                this._groups.delete(group.id);
-                this._onDidRemoveGroup.fire(group);
-            }
-            // fires clean-up events and clears the underlying HTML gridview.
-            this.clear();
-            /**
-             * even though we have cleaned-up we still want to inform the caller of their error
-             * and we'll do this through re-throwing the original error since afterall you would
-             * expect trying to load a corrupted layout to result in an error and not silently fail...
-             */
-            throw err;
-        }
-        this._onDidLayoutfromJSON.fire();
-    }
-    clear() {
-        const hasActiveGroup = this.activeGroup;
-        const groups = Array.from(this._groups.values()); // reassign since group panels will mutate
-        for (const group of groups) {
-            group.disposable.dispose();
-            this.doRemoveGroup(group.value, { skipActive: true });
-        }
-        if (hasActiveGroup) {
-            this.doSetGroupActive(undefined);
-        }
-        this.gridview.clear();
-    }
-    movePanel(panel, options) {
-        var _a;
-        let relativeLocation;
-        const removedPanel = this.gridview.remove(panel);
-        const referenceGroup = (_a = this._groups.get(options.reference)) === null || _a === void 0 ? void 0 : _a.value;
-        if (!referenceGroup) {
-            throw new Error(`reference group ${options.reference} does not exist`);
-        }
-        const target = toTarget(options.direction);
-        if (target === 'center') {
-            throw new Error(`${target} not supported as an option`);
-        }
-        else {
-            const location = getGridLocation(referenceGroup.element);
-            relativeLocation = getRelativeLocation(this.gridview.orientation, location, target);
-        }
-        this.doAddGroup(removedPanel, relativeLocation, options.size);
-    }
-    addPanel(options) {
-        var _a, _b, _c, _d;
-        let relativeLocation = (_a = options.location) !== null && _a !== void 0 ? _a : [0];
-        if ((_b = options.position) === null || _b === void 0 ? void 0 : _b.referencePanel) {
-            const referenceGroup = (_c = this._groups.get(options.position.referencePanel)) === null || _c === void 0 ? void 0 : _c.value;
-            if (!referenceGroup) {
-                throw new Error(`reference group ${options.position.referencePanel} does not exist`);
-            }
-            const target = toTarget(options.position.direction);
-            if (target === 'center') {
-                throw new Error(`${target} not supported as an option`);
-            }
-            else {
-                const location = getGridLocation(referenceGroup.element);
-                relativeLocation = getRelativeLocation(this.gridview.orientation, location, target);
-            }
-        }
-        const view = this.options.createComponent({
-            id: options.id,
-            name: options.component,
-        });
-        view.init({
-            params: (_d = options.params) !== null && _d !== void 0 ? _d : {},
-            minimumWidth: options.minimumWidth,
-            maximumWidth: options.maximumWidth,
-            minimumHeight: options.minimumHeight,
-            maximumHeight: options.maximumHeight,
-            priority: options.priority,
-            snap: !!options.snap,
-            accessor: this,
-            isVisible: true,
-        });
-        this.doAddGroup(view, relativeLocation, options.size);
-        this.registerPanel(view);
-        this.doSetGroupActive(view);
-        return view;
-    }
-    registerPanel(panel) {
-        const disposable = new CompositeDisposable(panel.api.onDidFocusChange((event) => {
-            if (!event.isFocused) {
-                return;
-            }
-            this._groups.forEach((groupItem) => {
-                const group = groupItem.value;
-                group.setActive(group === panel);
-            });
-        }));
-        this._groups.set(panel.id, {
-            value: panel,
-            disposable,
-        });
-    }
-    moveGroup(referenceGroup, groupId, target) {
-        const sourceGroup = this.getPanel(groupId);
-        if (!sourceGroup) {
-            throw new Error('invalid operation');
-        }
-        const referenceLocation = getGridLocation(referenceGroup.element);
-        const targetLocation = getRelativeLocation(this.gridview.orientation, referenceLocation, target);
-        const [targetParentLocation, to] = tail(targetLocation);
-        const sourceLocation = getGridLocation(sourceGroup.element);
-        const [sourceParentLocation, from] = tail(sourceLocation);
-        if (sequenceEquals(sourceParentLocation, targetParentLocation)) {
-            // special case when 'swapping' two views within same grid location
-            // if a group has one tab - we are essentially moving the 'group'
-            // which is equivalent to swapping two views in this case
-            this.gridview.moveView(sourceParentLocation, from, to);
-            return;
-        }
-        // source group will become empty so delete the group
-        const targetGroup = this.doRemoveGroup(sourceGroup, {
-            skipActive: true,
-            skipDispose: true,
-        });
-        // after deleting the group we need to re-evaulate the ref location
-        const updatedReferenceLocation = getGridLocation(referenceGroup.element);
-        const location = getRelativeLocation(this.gridview.orientation, updatedReferenceLocation, target);
-        this.doAddGroup(targetGroup, location);
-    }
-    removeGroup(group) {
-        super.removeGroup(group);
-    }
-    dispose() {
-        super.dispose();
-        this._onDidLayoutfromJSON.dispose();
-    }
-}

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

@@ -1,77 +0,0 @@
-import { PanelInitParameters } from '../panel/types';
-import { 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';
-import { BaseGrid, IGridPanelView } from './baseComponentGridview';
-export interface Constraints {
-    minimumWidth?: number;
-    maximumWidth?: number;
-    minimumHeight?: number;
-    maximumHeight?: number;
-}
-export interface GridviewInitParameters extends PanelInitParameters {
-    minimumWidth?: number;
-    maximumWidth?: number;
-    minimumHeight?: number;
-    maximumHeight?: number;
-    priority?: LayoutPriority;
-    snap?: boolean;
-    accessor: BaseGrid<IGridPanelView>;
-    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;
-    protected __minimumWidth(): number;
-    protected __maximumWidth(): number;
-    protected __minimumHeight(): number;
-    protected __maximumHeight(): number;
-    get isActive(): boolean;
-    get isVisible(): 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;
-}

package/dist/esm/gridview/gridviewPanel.js

@@ -1,182 +0,0 @@
-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() {
-        /**
-         * defer to protected function to allow subclasses to override easily.
-         * see https://github.com/microsoft/TypeScript/issues/338
-         */
-        return this.__minimumWidth();
-    }
-    get minimumHeight() {
-        /**
-         * defer to protected function to allow subclasses to override easily.
-         * see https://github.com/microsoft/TypeScript/issues/338
-         */
-        return this.__minimumHeight();
-    }
-    get maximumHeight() {
-        /**
-         * defer to protected function to allow subclasses to override easily.
-         * see https://github.com/microsoft/TypeScript/issues/338
-         */
-        return this.__maximumHeight();
-    }
-    get maximumWidth() {
-        /**
-         * defer to protected function to allow subclasses to override easily.
-         * see https://github.com/microsoft/TypeScript/issues/338
-         */
-        return this.__maximumWidth();
-    }
-    __minimumWidth() {
-        const width = typeof this._minimumWidth === 'function'
-            ? this._minimumWidth()
-            : this._minimumWidth;
-        if (width !== this._evaluatedMinimumWidth) {
-            this._evaluatedMinimumWidth = width;
-            this.updateConstraints();
-        }
-        return width;
-    }
-    __maximumWidth() {
-        const width = typeof this._maximumWidth === 'function'
-            ? this._maximumWidth()
-            : this._maximumWidth;
-        if (width !== this._evaluatedMaximumWidth) {
-            this._evaluatedMaximumWidth = width;
-            this.updateConstraints();
-        }
-        return width;
-    }
-    __minimumHeight() {
-        const height = typeof this._minimumHeight === 'function'
-            ? this._minimumHeight()
-            : this._minimumHeight;
-        if (height !== this._evaluatedMinimumHeight) {
-            this._evaluatedMinimumHeight = height;
-            this.updateConstraints();
-        }
-        return height;
-    }
-    __maximumHeight() {
-        const height = typeof this._maximumHeight === 'function'
-            ? this._maximumHeight()
-            : this._maximumHeight;
-        if (height !== this._evaluatedMaximumHeight) {
-            this._evaluatedMaximumHeight = height;
-            this.updateConstraints();
-        }
-        return height;
-    }
-    get isActive() {
-        return this.api.isActive;
-    }
-    get isVisible() {
-        return this.api.isVisible;
-    }
-    constructor(id, component, options, api) {
-        super(id, component, api !== null && api !== void 0 ? api : new GridviewPanelApiImpl(id, component));
-        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.onWillVisibilityChange((event) => {
-            const { isVisible } = event;
-            const { accessor } = this._params;
-            accessor.setVisible(this, isVisible);
-        }), this.api.onActiveChange(() => {
-            const { accessor } = this._params;
-            accessor.doSetGroupActive(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 });
-    }
-}

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

@@ -1,34 +0,0 @@
-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 readonly _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;
-}