dockview 1.5.2 → 1.7.0

package/dist/esm/paneview/defaultPaneviewHeader.js

@@ -1,63 +0,0 @@
-import { addDisposableListener } from '../events';
-import { CompositeDisposable, MutableDisposable } from '../lifecycle';
-import { toggleClass } from '../dom';
-import { createChevronRightButton, createExpandMoreButton } from '../svg';
-export class DefaultHeader extends CompositeDisposable {
-    constructor() {
-        super();
-        this._expandedIcon = createExpandMoreButton();
-        this._collapsedIcon = createChevronRightButton();
-        this.disposable = new MutableDisposable();
-        this.apiRef = { api: null };
-        this._element = document.createElement('div');
-        this.element.className = 'default-header';
-        this._content = document.createElement('span');
-        this._expander = document.createElement('div');
-        this._expander.className = 'dockview-pane-header-icon';
-        this.element.appendChild(this._expander);
-        this.element.appendChild(this._content);
-        this.addDisposables(addDisposableListener(this._element, 'click', () => {
-            var _a;
-            (_a = this.apiRef.api) === null || _a === void 0 ? void 0 : _a.setExpanded(!this.apiRef.api.isExpanded);
-        }));
-    }
-    get element() {
-        return this._element;
-    }
-    init(params) {
-        this.apiRef.api = params.api;
-        this._content.textContent = params.title;
-        this.updateIcon();
-        this.disposable.value = params.api.onDidExpansionChange(() => {
-            this.updateIcon();
-        });
-    }
-    updateIcon() {
-        var _a;
-        const isExpanded = !!((_a = this.apiRef.api) === null || _a === void 0 ? void 0 : _a.isExpanded);
-        toggleClass(this._expander, 'collapsed', !isExpanded);
-        if (isExpanded) {
-            if (this._expander.contains(this._collapsedIcon)) {
-                this._collapsedIcon.remove();
-            }
-            if (!this._expander.contains(this._expandedIcon)) {
-                this._expander.appendChild(this._expandedIcon);
-            }
-        }
-        else {
-            if (this._expander.contains(this._expandedIcon)) {
-                this._expandedIcon.remove();
-            }
-            if (!this._expander.contains(this._collapsedIcon)) {
-                this._expander.appendChild(this._collapsedIcon);
-            }
-        }
-    }
-    update(_params) {
-        //
-    }
-    dispose() {
-        this.disposable.dispose();
-        super.dispose();
-    }
-}

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

@@ -1,19 +0,0 @@
-import { PaneTransfer } from '../dnd/dataTransfer';
-import { DroptargetEvent } from '../dnd/droptarget';
-import { Orientation } from '../splitview/core/splitview';
-import { IPaneviewComponent } from './paneviewComponent';
-import { IPaneviewPanel, PaneviewPanel } from './paneviewPanel';
-export interface PaneviewDropEvent2 extends DroptargetEvent {
-    panel: IPaneviewPanel;
-    getData: () => PaneTransfer | undefined;
-}
-export declare abstract class DraggablePaneviewPanel extends PaneviewPanel {
-    private readonly accessor;
-    private handler;
-    private target;
-    private readonly _onDidDrop;
-    readonly onDidDrop: import("../events").Event<PaneviewDropEvent2>;
-    constructor(accessor: IPaneviewComponent, id: string, component: string, headerComponent: string | undefined, orientation: Orientation, isExpanded: boolean, disableDnd: boolean);
-    private initDragFeatures;
-    private onDrop;
-}

package/dist/esm/paneview/draggablePaneviewPanel.js

@@ -1,90 +0,0 @@
-import { DragHandler } from '../dnd/abstractDragHandler';
-import { getPaneData, LocalSelectionTransfer, PaneTransfer, } from '../dnd/dataTransfer';
-import { Droptarget, Position } from '../dnd/droptarget';
-import { Emitter } from '../events';
-import { PaneviewPanel, } from './paneviewPanel';
-export class DraggablePaneviewPanel extends PaneviewPanel {
-    constructor(accessor, id, component, headerComponent, orientation, isExpanded, disableDnd) {
-        super(id, component, headerComponent, orientation, isExpanded, true);
-        this.accessor = accessor;
-        this._onDidDrop = new Emitter();
-        this.onDidDrop = this._onDidDrop.event;
-        if (!disableDnd) {
-            this.initDragFeatures();
-        }
-    }
-    initDragFeatures() {
-        if (!this.header) {
-            return;
-        }
-        const id = this.id;
-        const accessorId = this.accessor.id;
-        this.header.draggable = true;
-        this.handler = new (class PaneDragHandler extends DragHandler {
-            getData() {
-                LocalSelectionTransfer.getInstance().setData([new PaneTransfer(accessorId, id)], PaneTransfer.prototype);
-                return {
-                    dispose: () => {
-                        LocalSelectionTransfer.getInstance().clearData(PaneTransfer.prototype);
-                    },
-                };
-            }
-        })(this.header);
-        this.target = new Droptarget(this.element, {
-            validOverlays: 'vertical',
-            canDisplayOverlay: (event) => {
-                const data = getPaneData();
-                if (data) {
-                    if (data.paneId !== this.id &&
-                        data.viewId === this.accessor.id) {
-                        return true;
-                    }
-                }
-                if (this.accessor.options.showDndOverlay) {
-                    return this.accessor.options.showDndOverlay({
-                        nativeEvent: event,
-                        getData: getPaneData,
-                        panel: this,
-                    });
-                }
-                return false;
-            },
-        });
-        this.addDisposables(this._onDidDrop, this.handler, this.target, this.target.onDrop((event) => {
-            this.onDrop(event);
-        }));
-    }
-    onDrop(event) {
-        const data = getPaneData();
-        if (!data || data.viewId !== this.accessor.id) {
-            // if there is no local drag event for this panel
-            // or if the drag event was creating by another Paneview instance
-            this._onDidDrop.fire(Object.assign(Object.assign({}, event), { panel: this, getData: getPaneData }));
-            return;
-        }
-        const containerApi = this._params
-            .containerApi;
-        const panelId = data.paneId;
-        const existingPanel = containerApi.getPanel(panelId);
-        if (!existingPanel) {
-            // if the panel doesn't exist
-            this._onDidDrop.fire(Object.assign(Object.assign({}, event), { panel: this, getData: getPaneData }));
-            return;
-        }
-        const allPanels = containerApi.panels;
-        const fromIndex = allPanels.indexOf(existingPanel);
-        let toIndex = containerApi.panels.indexOf(this);
-        if (event.position === Position.Left ||
-            event.position === Position.Top) {
-            toIndex = Math.max(0, toIndex - 1);
-        }
-        if (event.position === Position.Right ||
-            event.position === Position.Bottom) {
-            if (fromIndex > toIndex) {
-                toIndex++;
-            }
-            toIndex = Math.min(allPanels.length - 1, toIndex);
-        }
-        containerApi.movePanel(fromIndex, toIndex);
-    }
-}

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

@@ -1,27 +0,0 @@
-import { FrameworkFactory } from '../types';
-import { PaneviewDndOverlayEvent } from './paneviewComponent';
-import { IPaneBodyPart, IPaneHeaderPart, PaneviewPanel } from './paneviewPanel';
-export interface PaneviewComponentOptions {
-    components?: {
-        [componentName: string]: {
-            new (id: string, componentName: string): PaneviewPanel;
-        };
-    };
-    frameworkComponents?: {
-        [componentName: string]: any;
-    };
-    headerComponents?: {
-        [componentName: string]: {
-            new (id: string, componentName: string): PaneviewPanel;
-        };
-    };
-    headerframeworkComponents?: {
-        [componentName: string]: any;
-    };
-    frameworkWrapper?: {
-        header: FrameworkFactory<IPaneHeaderPart>;
-        body: FrameworkFactory<IPaneBodyPart>;
-    };
-    disableDnd?: boolean;
-    showDndOverlay?: (event: PaneviewDndOverlayEvent) => boolean;
-}

package/dist/esm/paneview/options.js

@@ -1 +0,0 @@
-export {};

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

@@ -1,129 +0,0 @@
-import { Event } from '../events';
-import { CompositeDisposable, IDisposable } from '../lifecycle';
-import { LayoutPriority, Orientation } from '../splitview/core/splitview';
-import { PaneviewComponentOptions } from './options';
-import { Paneview } from './paneview';
-import { IPaneBodyPart, IPaneHeaderPart, PaneviewPanel, IPaneviewPanel } from './paneviewPanel';
-import { DraggablePaneviewPanel, PaneviewDropEvent2 } from './draggablePaneviewPanel';
-import { PaneTransfer } from '../dnd/dataTransfer';
-export interface PaneviewDndOverlayEvent {
-    nativeEvent: DragEvent;
-    panel: IPaneviewPanel;
-    getData: () => PaneTransfer | undefined;
-}
-export interface SerializedPaneviewPanel {
-    snap?: boolean;
-    priority?: LayoutPriority;
-    minimumSize?: number;
-    maximumSize?: number;
-    data: {
-        id: string;
-        component: string;
-        title: string;
-        headerComponent?: string;
-        params?: {
-            [index: string]: any;
-        };
-    };
-    size: number;
-    expanded?: boolean;
-}
-export interface SerializedPaneview {
-    size: number;
-    views: SerializedPaneviewPanel[];
-}
-export declare class PaneFramework extends DraggablePaneviewPanel {
-    private readonly options;
-    constructor(options: {
-        id: string;
-        component: string;
-        headerComponent: string | undefined;
-        body: IPaneBodyPart;
-        header: IPaneHeaderPart;
-        orientation: Orientation;
-        isExpanded: boolean;
-        disableDnd: boolean;
-        accessor: IPaneviewComponent;
-    });
-    getBodyComponent(): IPaneBodyPart;
-    getHeaderComponent(): IPaneHeaderPart;
-}
-export interface AddPaneviewComponentOptions {
-    id: string;
-    component: string;
-    headerComponent?: string;
-    params?: {
-        [key: string]: any;
-    };
-    minimumBodySize?: number;
-    maximumBodySize?: number;
-    isExpanded?: boolean;
-    title: string;
-    index?: number;
-    size?: number;
-}
-export interface IPaneviewComponent extends IDisposable {
-    readonly id: string;
-    readonly width: number;
-    readonly height: number;
-    readonly minimumSize: number;
-    readonly maximumSize: number;
-    readonly panels: IPaneviewPanel[];
-    readonly options: PaneviewComponentOptions;
-    readonly onDidAddView: Event<PaneviewPanel>;
-    readonly onDidRemoveView: Event<PaneviewPanel>;
-    readonly onDidDrop: Event<PaneviewDropEvent2>;
-    readonly onDidLayoutChange: Event<void>;
-    readonly onDidLayoutFromJSON: Event<void>;
-    addPanel(options: AddPaneviewComponentOptions): IPaneviewPanel;
-    layout(width: number, height: number): void;
-    toJSON(): SerializedPaneview;
-    fromJSON(serializedPaneview: SerializedPaneview): void;
-    focus(): void;
-    removePanel(panel: IPaneviewPanel): void;
-    getPanel(id: string): IPaneviewPanel | undefined;
-    movePanel(from: number, to: number): void;
-    updateOptions(options: Partial<PaneviewComponentOptions>): void;
-    clear(): void;
-}
-export declare class PaneviewComponent extends CompositeDisposable implements IPaneviewComponent {
-    private element;
-    private readonly _id;
-    private _options;
-    private _disposable;
-    private _viewDisposables;
-    private _paneview;
-    private readonly _onDidLayoutfromJSON;
-    readonly onDidLayoutFromJSON: Event<void>;
-    private readonly _onDidLayoutChange;
-    readonly onDidLayoutChange: Event<void>;
-    private readonly _onDidDrop;
-    readonly onDidDrop: Event<PaneviewDropEvent2>;
-    private readonly _onDidAddView;
-    readonly onDidAddView: Event<PaneviewPanel>;
-    private readonly _onDidRemoveView;
-    readonly onDidRemoveView: Event<PaneviewPanel>;
-    get id(): string;
-    get panels(): PaneviewPanel[];
-    set paneview(value: Paneview);
-    get paneview(): Paneview;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get height(): number;
-    get width(): number;
-    get options(): PaneviewComponentOptions;
-    constructor(element: HTMLElement, options: PaneviewComponentOptions);
-    focus(): void;
-    updateOptions(options: Partial<PaneviewComponentOptions>): void;
-    addPanel(options: AddPaneviewComponentOptions): IPaneviewPanel;
-    removePanel(panel: PaneviewPanel): void;
-    movePanel(from: number, to: number): void;
-    getPanel(id: string): PaneviewPanel | undefined;
-    layout(width: number, height: number): void;
-    toJSON(): SerializedPaneview;
-    fromJSON(serializedPaneview: SerializedPaneview): void;
-    clear(): void;
-    private doAddPanel;
-    private doRemovePanel;
-    dispose(): void;
-}

package/dist/esm/paneview/paneviewComponent.js

@@ -1,270 +0,0 @@
-import { PaneviewApi } from '../api/component.api';
-import { createComponent } from '../panel/componentFactory';
-import { Emitter } from '../events';
-import { CompositeDisposable, MutableDisposable, } from '../lifecycle';
-import { Orientation, Sizing, } from '../splitview/core/splitview';
-import { Paneview } from './paneview';
-import { DraggablePaneviewPanel, } from './draggablePaneviewPanel';
-import { DefaultHeader } from './defaultPaneviewHeader';
-import { sequentialNumberGenerator } from '../math';
-const nextLayoutId = sequentialNumberGenerator();
-export class PaneFramework extends DraggablePaneviewPanel {
-    constructor(options) {
-        super(options.accessor, options.id, options.component, options.headerComponent, options.orientation, options.isExpanded, options.disableDnd);
-        this.options = options;
-    }
-    getBodyComponent() {
-        return this.options.body;
-    }
-    getHeaderComponent() {
-        return this.options.header;
-    }
-}
-export class PaneviewComponent extends CompositeDisposable {
-    constructor(element, options) {
-        super();
-        this.element = element;
-        this._id = nextLayoutId.next();
-        this._disposable = new MutableDisposable();
-        this._viewDisposables = new Map();
-        this._onDidLayoutfromJSON = new Emitter();
-        this.onDidLayoutFromJSON = this._onDidLayoutfromJSON.event;
-        this._onDidLayoutChange = new Emitter();
-        this.onDidLayoutChange = this._onDidLayoutChange.event;
-        this._onDidDrop = new Emitter();
-        this.onDidDrop = this._onDidDrop.event;
-        this._onDidAddView = new Emitter();
-        this.onDidAddView = this._onDidAddView.event;
-        this._onDidRemoveView = new Emitter();
-        this.onDidRemoveView = this._onDidRemoveView.event;
-        this.addDisposables(this._onDidLayoutChange, this._onDidLayoutfromJSON, this._onDidDrop, this._onDidAddView, this._onDidRemoveView);
-        this._options = options;
-        if (!options.components) {
-            options.components = {};
-        }
-        if (!options.frameworkComponents) {
-            options.frameworkComponents = {};
-        }
-        this.paneview = new Paneview(this.element, {
-            // only allow paneview in the vertical orientation for now
-            orientation: Orientation.VERTICAL,
-        });
-        this.addDisposables(this._disposable);
-    }
-    get id() {
-        return this._id;
-    }
-    get panels() {
-        return this.paneview.getPanes();
-    }
-    set paneview(value) {
-        this._paneview = value;
-        this._disposable.value = new CompositeDisposable(this._paneview.onDidChange(() => {
-            this._onDidLayoutChange.fire(undefined);
-        }), this._paneview.onDidAddView((e) => this._onDidAddView.fire(e)), this._paneview.onDidRemoveView((e) => this._onDidRemoveView.fire(e)));
-    }
-    get paneview() {
-        return this._paneview;
-    }
-    get minimumSize() {
-        return this.paneview.minimumSize;
-    }
-    get maximumSize() {
-        return this.paneview.maximumSize;
-    }
-    get height() {
-        return this.paneview.orientation === Orientation.HORIZONTAL
-            ? this.paneview.orthogonalSize
-            : this.paneview.size;
-    }
-    get width() {
-        return this.paneview.orientation === Orientation.HORIZONTAL
-            ? this.paneview.size
-            : this.paneview.orthogonalSize;
-    }
-    get options() {
-        return this._options;
-    }
-    focus() {
-        //
-    }
-    updateOptions(options) {
-        this._options = Object.assign(Object.assign({}, this.options), options);
-    }
-    addPanel(options) {
-        const body = createComponent(options.id, options.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
-            ? {
-                createComponent: this.options.frameworkWrapper.body.createComponent,
-            }
-            : undefined);
-        let header;
-        if (options.headerComponent) {
-            header = createComponent(options.id, options.headerComponent, this.options.headerComponents || {}, this.options.headerframeworkComponents, this.options.frameworkWrapper
-                ? {
-                    createComponent: this.options.frameworkWrapper.header
-                        .createComponent,
-                }
-                : undefined);
-        }
-        else {
-            header = new DefaultHeader();
-        }
-        const view = new PaneFramework({
-            id: options.id,
-            component: options.component,
-            headerComponent: options.headerComponent,
-            header,
-            body,
-            orientation: Orientation.VERTICAL,
-            isExpanded: !!options.isExpanded,
-            disableDnd: !!this.options.disableDnd,
-            accessor: this,
-        });
-        this.doAddPanel(view);
-        const size = typeof options.size === 'number' ? options.size : Sizing.Distribute;
-        const index = typeof options.index === 'number' ? options.index : undefined;
-        view.init({
-            params: options.params || {},
-            minimumBodySize: options.minimumBodySize,
-            maximumBodySize: options.maximumBodySize,
-            isExpanded: options.isExpanded,
-            title: options.title,
-            containerApi: new PaneviewApi(this),
-        });
-        this.paneview.addPane(view, size, index);
-        view.orientation = this.paneview.orientation;
-        return view;
-    }
-    removePanel(panel) {
-        const views = this.panels;
-        const index = views.findIndex((_) => _ === panel);
-        this.paneview.removePane(index);
-        this.doRemovePanel(panel);
-    }
-    movePanel(from, to) {
-        this.paneview.moveView(from, to);
-    }
-    getPanel(id) {
-        return this.panels.find((view) => view.id === id);
-    }
-    layout(width, height) {
-        const [size, orthogonalSize] = this.paneview.orientation === Orientation.HORIZONTAL
-            ? [width, height]
-            : [height, width];
-        this.paneview.layout(size, orthogonalSize);
-    }
-    toJSON() {
-        const maximum = (value) => value === Number.MAX_SAFE_INTEGER ||
-            value === Number.POSITIVE_INFINITY
-            ? undefined
-            : value;
-        const minimum = (value) => (value <= 0 ? undefined : value);
-        const views = this.paneview
-            .getPanes()
-            .map((view, i) => {
-            const size = this.paneview.getViewSize(i);
-            return {
-                size,
-                data: view.toJSON(),
-                minimumSize: minimum(view.minimumBodySize),
-                maximumSize: maximum(view.maximumBodySize),
-                expanded: view.isExpanded(),
-            };
-        });
-        return {
-            views,
-            size: this.paneview.size,
-        };
-    }
-    fromJSON(serializedPaneview) {
-        this.clear();
-        const { views, size } = serializedPaneview;
-        const queue = [];
-        this.paneview = new Paneview(this.element, {
-            orientation: Orientation.VERTICAL,
-            descriptor: {
-                size,
-                views: views.map((view) => {
-                    const data = view.data;
-                    const body = createComponent(data.id, data.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
-                        ? {
-                            createComponent: this.options.frameworkWrapper.body
-                                .createComponent,
-                        }
-                        : undefined);
-                    let header;
-                    if (data.headerComponent) {
-                        header = createComponent(data.id, data.headerComponent, this.options.headerComponents || {}, this.options.headerframeworkComponents || {}, this.options.frameworkWrapper
-                            ? {
-                                createComponent: this.options.frameworkWrapper.header
-                                    .createComponent,
-                            }
-                            : undefined);
-                    }
-                    else {
-                        header = new DefaultHeader();
-                    }
-                    const panel = new PaneFramework({
-                        id: data.id,
-                        component: data.component,
-                        headerComponent: data.headerComponent,
-                        header,
-                        body,
-                        orientation: Orientation.VERTICAL,
-                        isExpanded: !!view.expanded,
-                        disableDnd: !!this.options.disableDnd,
-                        accessor: this,
-                    });
-                    this.doAddPanel(panel);
-                    queue.push(() => {
-                        panel.init({
-                            params: data.params || {},
-                            minimumBodySize: view.minimumSize,
-                            maximumBodySize: view.maximumSize,
-                            title: data.title,
-                            isExpanded: !!view.expanded,
-                            containerApi: new PaneviewApi(this),
-                        });
-                        panel.orientation = this.paneview.orientation;
-                    });
-                    setTimeout(() => {
-                        // the original onDidAddView events are missed since they are fired before we can subcribe to them
-                        this._onDidAddView.fire(panel);
-                    }, 0);
-                    return { size: view.size, view: panel };
-                }),
-            },
-        });
-        this.layout(this.width, this.height);
-        queue.forEach((f) => f());
-        this._onDidLayoutfromJSON.fire();
-    }
-    clear() {
-        for (const [_, value] of this._viewDisposables.entries()) {
-            value.dispose();
-        }
-        this._viewDisposables.clear();
-        this.paneview.dispose();
-    }
-    doAddPanel(panel) {
-        const disposable = panel.onDidDrop((event) => {
-            this._onDidDrop.fire(event);
-        });
-        this._viewDisposables.set(panel.id, disposable);
-    }
-    doRemovePanel(panel) {
-        const disposable = this._viewDisposables.get(panel.id);
-        if (disposable) {
-            disposable.dispose();
-            this._viewDisposables.delete(panel.id);
-        }
-    }
-    dispose() {
-        super.dispose();
-        for (const [_, value] of this._viewDisposables.entries()) {
-            value.dispose();
-        }
-        this._viewDisposables.clear();
-        this.paneview.dispose();
-    }
-}