dockview 1.5.2 → 1.7.0

package/dist/esm/api/component.api.d.ts

@@ -1,144 +0,0 @@
-import { DockviewDropEvent, IDockviewComponent, SerializedDockview } from '../dockview/dockviewComponent';
-import { AddGroupOptions, AddPanelOptions, MovementOptions } from '../dockview/options';
-import { Direction } from '../gridview/baseComponentGridview';
-import { AddComponentOptions, IGridviewComponent, SerializedGridview } from '../gridview/gridviewComponent';
-import { IGridviewPanel } from '../gridview/gridviewPanel';
-import { IDockviewPanel } from '../groupview/groupPanel';
-import { AddPaneviewComponentOptions, SerializedPaneview, IPaneviewComponent } from '../paneview/paneviewComponent';
-import { IPaneviewPanel } from '../paneview/paneviewPanel';
-import { AddSplitviewComponentOptions, ISplitviewComponent, SerializedSplitview, SplitviewComponentUpdateOptions } from '../splitview/splitviewComponent';
-import { IView, Orientation, Sizing } from '../splitview/core/splitview';
-import { ISplitviewPanel } from '../splitview/splitviewPanel';
-import { GroupPanel, IGroupviewPanel } from '../groupview/groupviewPanel';
-import { Event } from '../events';
-import { PaneviewDropEvent } from '../react';
-export interface CommonApi<T = any> {
-    readonly height: number;
-    readonly width: number;
-    readonly onDidLayoutChange: Event<void>;
-    readonly onDidLayoutFromJSON: Event<void>;
-    focus(): void;
-    layout(width: number, height: number): void;
-    fromJSON(data: T): void;
-    toJSON(): T;
-    clear(): void;
-}
-export declare class SplitviewApi implements CommonApi<SerializedSplitview> {
-    private readonly component;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get height(): number;
-    get width(): number;
-    get length(): number;
-    get orientation(): Orientation;
-    get panels(): ISplitviewPanel[];
-    get onDidLayoutFromJSON(): Event<void>;
-    get onDidLayoutChange(): Event<void>;
-    get onDidAddView(): Event<IView>;
-    get onDidRemoveView(): Event<IView>;
-    constructor(component: ISplitviewComponent);
-    updateOptions(options: SplitviewComponentUpdateOptions): void;
-    removePanel(panel: ISplitviewPanel, sizing?: Sizing): void;
-    focus(): void;
-    getPanel(id: string): ISplitviewPanel | undefined;
-    layout(width: number, height: number): void;
-    addPanel(options: AddSplitviewComponentOptions): ISplitviewPanel;
-    movePanel(from: number, to: number): void;
-    fromJSON(data: SerializedSplitview): void;
-    toJSON(): SerializedSplitview;
-    clear(): void;
-}
-export declare class PaneviewApi implements CommonApi<SerializedPaneview> {
-    private readonly component;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get height(): number;
-    get width(): number;
-    get panels(): IPaneviewPanel[];
-    get onDidLayoutChange(): Event<void>;
-    get onDidLayoutFromJSON(): Event<void>;
-    get onDidAddView(): Event<IPaneviewPanel>;
-    get onDidRemoveView(): Event<IPaneviewPanel>;
-    get onDidDrop(): Event<PaneviewDropEvent>;
-    constructor(component: IPaneviewComponent);
-    removePanel(panel: IPaneviewPanel): void;
-    getPanel(id: string): IPaneviewPanel | undefined;
-    movePanel(from: number, to: number): void;
-    focus(): void;
-    layout(width: number, height: number): void;
-    addPanel(options: AddPaneviewComponentOptions): IPaneviewPanel;
-    fromJSON(data: SerializedPaneview): void;
-    toJSON(): SerializedPaneview;
-    clear(): void;
-}
-export declare class GridviewApi implements CommonApi<SerializedGridview> {
-    private readonly component;
-    get minimumHeight(): number;
-    get maximumHeight(): number;
-    get minimumWidth(): number;
-    get maximumWidth(): number;
-    get width(): number;
-    get height(): number;
-    get onDidLayoutChange(): Event<void>;
-    get onDidAddPanel(): Event<IGridviewPanel>;
-    get onDidRemovePanel(): Event<IGridviewPanel>;
-    get onDidActivePanelChange(): Event<IGridviewPanel | undefined>;
-    get onDidLayoutFromJSON(): Event<void>;
-    get panels(): IGridviewPanel[];
-    get orientation(): Orientation;
-    set orientation(value: Orientation);
-    constructor(component: IGridviewComponent);
-    focus(): void;
-    layout(width: number, height: number, force?: boolean): void;
-    addPanel(options: AddComponentOptions): IGridviewPanel;
-    removePanel(panel: IGridviewPanel, sizing?: Sizing): void;
-    movePanel(panel: IGridviewPanel, options: {
-        direction: Direction;
-        reference: string;
-        size?: number;
-    }): void;
-    getPanel(id: string): IGridviewPanel | undefined;
-    fromJSON(data: SerializedGridview): void;
-    toJSON(): SerializedGridview;
-    clear(): void;
-}
-export declare class DockviewApi implements CommonApi<SerializedDockview> {
-    private readonly component;
-    get width(): number;
-    get height(): number;
-    get minimumHeight(): number;
-    get maximumHeight(): number;
-    get minimumWidth(): number;
-    get maximumWidth(): number;
-    get size(): number;
-    get totalPanels(): number;
-    get onDidActiveGroupChange(): Event<GroupPanel | undefined>;
-    get onDidAddGroup(): Event<GroupPanel>;
-    get onDidRemoveGroup(): Event<GroupPanel>;
-    get onDidActivePanelChange(): Event<IDockviewPanel | undefined>;
-    get onDidAddPanel(): Event<IDockviewPanel>;
-    get onDidRemovePanel(): Event<IDockviewPanel>;
-    get onDidLayoutFromJSON(): Event<void>;
-    get onDidLayoutChange(): Event<void>;
-    get onDidDrop(): Event<DockviewDropEvent>;
-    get panels(): IDockviewPanel[];
-    get groups(): GroupPanel[];
-    get activePanel(): IDockviewPanel | undefined;
-    get activeGroup(): GroupPanel | undefined;
-    constructor(component: IDockviewComponent);
-    getTabHeight(): number | undefined;
-    setTabHeight(height: number | undefined): void;
-    focus(): void;
-    getPanel(id: string): IDockviewPanel | undefined;
-    layout(width: number, height: number, force?: boolean): void;
-    addPanel(options: AddPanelOptions): IDockviewPanel;
-    addEmptyGroup(options?: AddGroupOptions): void;
-    moveToNext(options?: MovementOptions): void;
-    moveToPrevious(options?: MovementOptions): void;
-    closeAllGroups(): void;
-    removeGroup(group: IGroupviewPanel): void;
-    getGroup(id: string): GroupPanel | undefined;
-    fromJSON(data: SerializedDockview): void;
-    toJSON(): SerializedDockview;
-    clear(): void;
-}

package/dist/esm/api/component.api.js

@@ -1,326 +0,0 @@
-import { Emitter } from '../events';
-export class SplitviewApi {
-    constructor(component) {
-        this.component = component;
-    }
-    get minimumSize() {
-        return this.component.minimumSize;
-    }
-    get maximumSize() {
-        return this.component.maximumSize;
-    }
-    get height() {
-        return this.component.height;
-    }
-    get width() {
-        return this.component.width;
-    }
-    get length() {
-        return this.component.length;
-    }
-    get orientation() {
-        return this.component.orientation;
-    }
-    get panels() {
-        return this.component.panels;
-    }
-    get onDidLayoutFromJSON() {
-        return this.component.onDidLayoutFromJSON;
-    }
-    get onDidLayoutChange() {
-        return this.component.onDidLayoutChange;
-    }
-    get onDidAddView() {
-        return this.component.onDidAddView;
-    }
-    get onDidRemoveView() {
-        return this.component.onDidRemoveView;
-    }
-    updateOptions(options) {
-        this.component.updateOptions(options);
-    }
-    removePanel(panel, sizing) {
-        this.component.removePanel(panel, sizing);
-    }
-    focus() {
-        this.component.focus();
-    }
-    getPanel(id) {
-        return this.component.getPanel(id);
-    }
-    layout(width, height) {
-        return this.component.layout(width, height);
-    }
-    addPanel(options) {
-        return this.component.addPanel(options);
-    }
-    movePanel(from, to) {
-        this.component.movePanel(from, to);
-    }
-    fromJSON(data) {
-        this.component.fromJSON(data);
-    }
-    toJSON() {
-        return this.component.toJSON();
-    }
-    clear() {
-        this.component.clear();
-    }
-}
-export class PaneviewApi {
-    constructor(component) {
-        this.component = component;
-    }
-    get minimumSize() {
-        return this.component.minimumSize;
-    }
-    get maximumSize() {
-        return this.component.maximumSize;
-    }
-    get height() {
-        return this.component.height;
-    }
-    get width() {
-        return this.component.width;
-    }
-    get panels() {
-        return this.component.panels;
-    }
-    get onDidLayoutChange() {
-        return this.component.onDidLayoutChange;
-    }
-    get onDidLayoutFromJSON() {
-        return this.component.onDidLayoutFromJSON;
-    }
-    get onDidAddView() {
-        return this.component.onDidAddView;
-    }
-    get onDidRemoveView() {
-        return this.component.onDidRemoveView;
-    }
-    get onDidDrop() {
-        const emitter = new Emitter();
-        const disposable = this.component.onDidDrop((e) => {
-            emitter.fire(Object.assign(Object.assign({}, e), { api: this }));
-        });
-        emitter.dispose = () => {
-            disposable.dispose();
-            emitter.dispose();
-        };
-        return emitter.event;
-    }
-    removePanel(panel) {
-        this.component.removePanel(panel);
-    }
-    getPanel(id) {
-        return this.component.getPanel(id);
-    }
-    movePanel(from, to) {
-        this.component.movePanel(from, to);
-    }
-    focus() {
-        this.component.focus();
-    }
-    layout(width, height) {
-        this.component.layout(width, height);
-    }
-    addPanel(options) {
-        return this.component.addPanel(options);
-    }
-    fromJSON(data) {
-        this.component.fromJSON(data);
-    }
-    toJSON() {
-        return this.component.toJSON();
-    }
-    clear() {
-        this.component.clear();
-    }
-}
-export class GridviewApi {
-    constructor(component) {
-        this.component = component;
-    }
-    get minimumHeight() {
-        return this.component.minimumHeight;
-    }
-    get maximumHeight() {
-        return this.component.maximumHeight;
-    }
-    get minimumWidth() {
-        return this.component.minimumWidth;
-    }
-    get maximumWidth() {
-        return this.component.maximumWidth;
-    }
-    get width() {
-        return this.component.width;
-    }
-    get height() {
-        return this.component.height;
-    }
-    get onDidLayoutChange() {
-        return this.component.onDidLayoutChange;
-    }
-    get onDidAddPanel() {
-        return this.component.onDidAddGroup;
-    }
-    get onDidRemovePanel() {
-        return this.component.onDidRemoveGroup;
-    }
-    get onDidActivePanelChange() {
-        return this.component.onDidActiveGroupChange;
-    }
-    get onDidLayoutFromJSON() {
-        return this.component.onDidLayoutFromJSON;
-    }
-    get panels() {
-        return this.component.groups;
-    }
-    get orientation() {
-        return this.component.orientation;
-    }
-    set orientation(value) {
-        this.component.updateOptions({ orientation: value });
-    }
-    focus() {
-        this.component.focus();
-    }
-    layout(width, height, force = false) {
-        this.component.layout(width, height, force);
-    }
-    addPanel(options) {
-        return this.component.addPanel(options);
-    }
-    removePanel(panel, sizing) {
-        this.component.removePanel(panel, sizing);
-    }
-    movePanel(panel, options) {
-        this.component.movePanel(panel, options);
-    }
-    getPanel(id) {
-        return this.component.getPanel(id);
-    }
-    fromJSON(data) {
-        return this.component.fromJSON(data);
-    }
-    toJSON() {
-        return this.component.toJSON();
-    }
-    clear() {
-        this.component.clear();
-    }
-}
-export class DockviewApi {
-    constructor(component) {
-        this.component = component;
-    }
-    get width() {
-        return this.component.width;
-    }
-    get height() {
-        return this.component.height;
-    }
-    get minimumHeight() {
-        return this.component.minimumHeight;
-    }
-    get maximumHeight() {
-        return this.component.maximumHeight;
-    }
-    get minimumWidth() {
-        return this.component.minimumWidth;
-    }
-    get maximumWidth() {
-        return this.component.maximumWidth;
-    }
-    get size() {
-        return this.component.size;
-    }
-    get totalPanels() {
-        return this.component.totalPanels;
-    }
-    get onDidActiveGroupChange() {
-        return this.component.onDidActiveGroupChange;
-    }
-    get onDidAddGroup() {
-        return this.component.onDidAddGroup;
-    }
-    get onDidRemoveGroup() {
-        return this.component.onDidRemoveGroup;
-    }
-    get onDidActivePanelChange() {
-        return this.component.onDidActivePanelChange;
-    }
-    get onDidAddPanel() {
-        return this.component.onDidAddPanel;
-    }
-    get onDidRemovePanel() {
-        return this.component.onDidRemovePanel;
-    }
-    get onDidLayoutFromJSON() {
-        return this.component.onDidLayoutFromJSON;
-    }
-    get onDidLayoutChange() {
-        return this.component.onDidLayoutChange;
-    }
-    get onDidDrop() {
-        return this.component.onDidDrop;
-    }
-    get panels() {
-        return this.component.panels;
-    }
-    get groups() {
-        return this.component.groups;
-    }
-    get activePanel() {
-        return this.component.activePanel;
-    }
-    get activeGroup() {
-        return this.component.activeGroup;
-    }
-    getTabHeight() {
-        return this.component.tabHeight;
-    }
-    setTabHeight(height) {
-        this.component.tabHeight = height;
-    }
-    focus() {
-        this.component.focus();
-    }
-    getPanel(id) {
-        return this.component.getGroupPanel(id);
-    }
-    layout(width, height, force = false) {
-        this.component.layout(width, height, force);
-    }
-    addPanel(options) {
-        return this.component.addPanel(options);
-    }
-    addEmptyGroup(options) {
-        this.component.addEmptyGroup(options);
-    }
-    moveToNext(options) {
-        this.component.moveToNext(options);
-    }
-    moveToPrevious(options) {
-        this.component.moveToPrevious(options);
-    }
-    closeAllGroups() {
-        return this.component.closeAllGroups();
-    }
-    removeGroup(group) {
-        this.component.removeGroup(group);
-    }
-    getGroup(id) {
-        return this.component.getPanel(id);
-    }
-    fromJSON(data) {
-        this.component.fromJSON(data);
-    }
-    toJSON() {
-        return this.component.toJSON();
-    }
-    clear() {
-        this.component.clear();
-    }
-}

package/dist/esm/api/gridviewPanelApi.d.ts

@@ -1,36 +0,0 @@
-import { Emitter, Event } from '../events';
-import { FunctionOrValue } from '../types';
-import { PanelApiImpl, PanelApi } from './panelApi';
-export interface GridConstraintChangeEvent {
-    readonly minimumWidth?: number;
-    readonly minimumHeight?: number;
-    readonly maximumWidth?: number;
-    readonly maximumHeight?: number;
-}
-interface GridConstraintChangeEvent2 {
-    readonly minimumWidth?: FunctionOrValue<number>;
-    readonly minimumHeight?: FunctionOrValue<number>;
-    readonly maximumWidth?: FunctionOrValue<number>;
-    readonly maximumHeight?: FunctionOrValue<number>;
-}
-export interface SizeEvent {
-    readonly width?: number;
-    readonly height?: number;
-}
-export interface GridviewPanelApi extends PanelApi {
-    readonly onDidConstraintsChange: Event<GridConstraintChangeEvent>;
-    setConstraints(value: GridConstraintChangeEvent2): void;
-    setSize(event: SizeEvent): void;
-}
-export declare class GridviewPanelApiImpl extends PanelApiImpl implements GridviewPanelApi {
-    readonly _onDidConstraintsChangeInternal: Emitter<GridConstraintChangeEvent2>;
-    readonly onDidConstraintsChangeInternal: Event<GridConstraintChangeEvent2>;
-    readonly _onDidConstraintsChange: Emitter<GridConstraintChangeEvent>;
-    readonly onDidConstraintsChange: Event<GridConstraintChangeEvent>;
-    readonly _onDidSizeChange: Emitter<SizeEvent>;
-    readonly onDidSizeChange: Event<SizeEvent>;
-    constructor(id: string);
-    setConstraints(value: GridConstraintChangeEvent): void;
-    setSize(event: SizeEvent): void;
-}
-export {};

package/dist/esm/api/gridviewPanelApi.js

@@ -1,25 +0,0 @@
-import { Emitter } from '../events';
-import { PanelApiImpl } from './panelApi';
-export class GridviewPanelApiImpl extends PanelApiImpl {
-    //
-    constructor(id) {
-        super(id);
-        this._onDidConstraintsChangeInternal = new Emitter();
-        this.onDidConstraintsChangeInternal = this._onDidConstraintsChangeInternal.event;
-        //
-        this._onDidConstraintsChange = new Emitter({
-            replay: true,
-        });
-        this.onDidConstraintsChange = this._onDidConstraintsChange.event;
-        //
-        this._onDidSizeChange = new Emitter();
-        this.onDidSizeChange = this._onDidSizeChange.event;
-        this.addDisposables(this._onDidConstraintsChangeInternal, this._onDidConstraintsChange, this._onDidSizeChange);
-    }
-    setConstraints(value) {
-        this._onDidConstraintsChangeInternal.fire(value);
-    }
-    setSize(event) {
-        this._onDidSizeChange.fire(event);
-    }
-}

package/dist/esm/api/groupPanelApi.d.ts

@@ -1,34 +0,0 @@
-import { Emitter, Event } from '../events';
-import { GridviewPanelApiImpl, GridviewPanelApi } from './gridviewPanelApi';
-import { IDockviewPanel } from '../groupview/groupPanel';
-import { GroupPanel } from '../groupview/groupviewPanel';
-export interface TitleEvent {
-    readonly title: string;
-}
-export interface DockviewPanelApi extends Omit<GridviewPanelApi, 'setVisible'> {
-    readonly group: GroupPanel;
-    readonly isGroupActive: boolean;
-    readonly title: string;
-    readonly onDidActiveGroupChange: Event<void>;
-    readonly onDidGroupChange: Event<void>;
-    close(): void;
-    setTitle(title: string): void;
-}
-export declare class DockviewPanelApiImpl extends GridviewPanelApiImpl implements DockviewPanelApi {
-    private panel;
-    private _group;
-    readonly _onDidTitleChange: Emitter<TitleEvent>;
-    readonly onDidTitleChange: Event<TitleEvent>;
-    private readonly _onDidActiveGroupChange;
-    readonly onDidActiveGroupChange: Event<void>;
-    private readonly _onDidGroupChange;
-    readonly onDidGroupChange: Event<void>;
-    private disposable;
-    get title(): string;
-    get isGroupActive(): boolean;
-    set group(value: GroupPanel);
-    get group(): GroupPanel;
-    constructor(panel: IDockviewPanel, group: GroupPanel);
-    setTitle(title: string): void;
-    close(): void;
-}

package/dist/esm/api/groupPanelApi.js

@@ -1,50 +0,0 @@
-import { Emitter } from '../events';
-import { GridviewPanelApiImpl } from './gridviewPanelApi';
-import { MutableDisposable } from '../lifecycle';
-export class DockviewPanelApiImpl extends GridviewPanelApiImpl {
-    constructor(panel, group) {
-        super(panel.id);
-        this.panel = panel;
-        this._onDidTitleChange = new Emitter();
-        this.onDidTitleChange = this._onDidTitleChange.event;
-        this._onDidActiveGroupChange = new Emitter();
-        this.onDidActiveGroupChange = this._onDidActiveGroupChange.event;
-        this._onDidGroupChange = new Emitter();
-        this.onDidGroupChange = this._onDidGroupChange.event;
-        this.disposable = new MutableDisposable();
-        this._group = group;
-        this.addDisposables(this.disposable, this._onDidTitleChange, this._onDidGroupChange, this._onDidActiveGroupChange);
-    }
-    get title() {
-        return this.panel.title;
-    }
-    get isGroupActive() {
-        var _a;
-        return !!((_a = this.group) === null || _a === void 0 ? void 0 : _a.isActive);
-    }
-    set group(value) {
-        const isOldGroupActive = this.isGroupActive;
-        this._group = value;
-        this._onDidGroupChange.fire();
-        if (this._group) {
-            this.disposable.value = this._group.api.onDidActiveChange(() => {
-                this._onDidActiveGroupChange.fire();
-            });
-            if (this.isGroupActive !== isOldGroupActive) {
-                this._onDidActiveGroupChange.fire();
-            }
-        }
-    }
-    get group() {
-        return this._group;
-    }
-    setTitle(title) {
-        this._onDidTitleChange.fire({ title });
-    }
-    close() {
-        if (!this.group) {
-            throw new Error(`panel ${this.id} has no group`);
-        }
-        return this.group.model.closePanel(this.panel);
-    }
-}

package/dist/esm/api/panelApi.d.ts

@@ -1,81 +0,0 @@
-import { Emitter, Event } from '../events';
-import { CompositeDisposable } from '../lifecycle';
-export interface FocusEvent {
-    readonly isFocused: boolean;
-}
-export interface PanelDimensionChangeEvent {
-    readonly width: number;
-    readonly height: number;
-}
-export interface VisibilityEvent {
-    readonly isVisible: boolean;
-}
-export interface ActiveEvent {
-    readonly isActive: boolean;
-}
-export interface PanelApi {
-    readonly onDidDimensionsChange: Event<PanelDimensionChangeEvent>;
-    readonly onDidFocusChange: Event<FocusEvent>;
-    readonly onDidVisibilityChange: Event<VisibilityEvent>;
-    readonly onDidActiveChange: Event<ActiveEvent>;
-    setVisible(isVisible: boolean): void;
-    setActive(): void;
-    /**
-     * The id of the panel that would have been assigned when the panel was created
-     */
-    readonly id: string;
-    /**
-     * Whether the panel holds the current focus
-     */
-    readonly isFocused: boolean;
-    /**
-     * Whether the panel is the actively selected panel
-     */
-    readonly isActive: boolean;
-    /**
-     * Whether the panel is visible
-     */
-    readonly isVisible: boolean;
-    /**
-     * The panel width in pixels
-     */
-    readonly width: number;
-    /**
-     * The panel height in pixels
-     */
-    readonly height: number;
-}
-/**
- * A core api implementation that should be used across all panel-like objects
- */
-export declare class PanelApiImpl extends CompositeDisposable implements PanelApi {
-    readonly id: string;
-    private _isFocused;
-    private _isActive;
-    private _isVisible;
-    private _width;
-    private _height;
-    readonly _onDidDimensionChange: Emitter<PanelDimensionChangeEvent>;
-    readonly onDidDimensionsChange: Event<PanelDimensionChangeEvent>;
-    readonly _onDidChangeFocus: Emitter<FocusEvent>;
-    readonly onDidFocusChange: Event<FocusEvent>;
-    readonly _onFocusEvent: Emitter<void>;
-    readonly onFocusEvent: Event<void>;
-    readonly _onDidVisibilityChange: Emitter<VisibilityEvent>;
-    readonly onDidVisibilityChange: Event<VisibilityEvent>;
-    readonly _onVisibilityChange: Emitter<VisibilityEvent>;
-    readonly onVisibilityChange: Event<VisibilityEvent>;
-    readonly _onDidActiveChange: Emitter<ActiveEvent>;
-    readonly onDidActiveChange: Event<ActiveEvent>;
-    readonly _onActiveChange: Emitter<void>;
-    readonly onActiveChange: Event<void>;
-    get isFocused(): boolean;
-    get isActive(): boolean;
-    get isVisible(): boolean;
-    get width(): number;
-    get height(): number;
-    constructor(id: string);
-    setVisible(isVisible: boolean): void;
-    setActive(): void;
-    dispose(): void;
-}