dockview-core 7.0.4 → 8.1.0

package/dist/esm/paneview/paneview.js

@@ -1,148 +0,0 @@
-import { Splitview, Orientation, } from '../splitview/splitview';
-import { CompositeDisposable } from '../lifecycle';
-import { Emitter } from '../events';
-import { addClasses, removeClasses } from '../dom';
-export class Paneview extends CompositeDisposable {
-    get onDidAddView() {
-        return this.splitview.onDidAddView;
-    }
-    get onDidRemoveView() {
-        return this.splitview.onDidRemoveView;
-    }
-    get minimumSize() {
-        return this.splitview.minimumSize;
-    }
-    get maximumSize() {
-        return this.splitview.maximumSize;
-    }
-    get orientation() {
-        return this.splitview.orientation;
-    }
-    get size() {
-        return this.splitview.size;
-    }
-    get orthogonalSize() {
-        return this.splitview.orthogonalSize;
-    }
-    constructor(container, options) {
-        var _a;
-        super();
-        this.paneItems = [];
-        this.skipAnimation = false;
-        this._onDidChange = new Emitter();
-        this.onDidChange = this._onDidChange.event;
-        this._orientation = (_a = options.orientation) !== null && _a !== void 0 ? _a : Orientation.VERTICAL;
-        this.element = document.createElement('div');
-        this.element.className = 'dv-pane-container';
-        container.appendChild(this.element);
-        this.splitview = new Splitview(this.element, {
-            orientation: this._orientation,
-            proportionalLayout: false,
-            descriptor: options.descriptor,
-        });
-        // if we've added views from the descriptor we need to
-        // add the panes to our Pane array and setup animation
-        this.getPanes().forEach((pane) => {
-            const disposable = new CompositeDisposable(pane.onDidChangeExpansionState(() => {
-                this.setupAnimation();
-                this._onDidChange.fire(undefined);
-            }));
-            const paneItem = {
-                pane,
-                disposable: {
-                    dispose: () => {
-                        disposable.dispose();
-                    },
-                },
-            };
-            this.paneItems.push(paneItem);
-            pane.orthogonalSize = this.splitview.orthogonalSize;
-        });
-        this.addDisposables(this._onDidChange, this.splitview.onDidSashEnd(() => {
-            this._onDidChange.fire(undefined);
-        }), this.splitview.onDidAddView(() => {
-            this._onDidChange.fire();
-        }), this.splitview.onDidRemoveView(() => {
-            this._onDidChange.fire();
-        }));
-    }
-    setViewVisible(index, visible) {
-        this.splitview.setViewVisible(index, visible);
-    }
-    addPane(pane, size, index = this.splitview.length, skipLayout = false) {
-        const disposable = pane.onDidChangeExpansionState(() => {
-            this.setupAnimation();
-            this._onDidChange.fire(undefined);
-        });
-        const paneItem = {
-            pane,
-            disposable: {
-                dispose: () => {
-                    disposable.dispose();
-                },
-            },
-        };
-        this.paneItems.splice(index, 0, paneItem);
-        pane.orthogonalSize = this.splitview.orthogonalSize;
-        this.splitview.addView(pane, size, index, skipLayout);
-    }
-    getViewSize(index) {
-        return this.splitview.getViewSize(index);
-    }
-    getPanes() {
-        return this.splitview.getViews();
-    }
-    removePane(index, options = { skipDispose: false }) {
-        const paneItem = this.paneItems.splice(index, 1)[0];
-        this.splitview.removeView(index);
-        if (!options.skipDispose) {
-            paneItem.disposable.dispose();
-            paneItem.pane.dispose();
-        }
-        return paneItem;
-    }
-    moveView(from, to) {
-        if (from === to) {
-            return;
-        }
-        const view = this.removePane(from, { skipDispose: true });
-        this.skipAnimation = true;
-        try {
-            this.addPane(view.pane, view.pane.size, to, false);
-        }
-        finally {
-            this.skipAnimation = false;
-        }
-    }
-    layout(size, orthogonalSize) {
-        this.splitview.layout(size, orthogonalSize);
-    }
-    setupAnimation() {
-        if (this.skipAnimation) {
-            return;
-        }
-        if (this.animationTimer) {
-            clearTimeout(this.animationTimer);
-            this.animationTimer = undefined;
-        }
-        addClasses(this.element, 'dv-animated');
-        this.animationTimer = setTimeout(() => {
-            this.animationTimer = undefined;
-            removeClasses(this.element, 'dv-animated');
-        }, 200);
-    }
-    dispose() {
-        super.dispose();
-        if (this.animationTimer) {
-            clearTimeout(this.animationTimer);
-            this.animationTimer = undefined;
-        }
-        this.paneItems.forEach((paneItem) => {
-            paneItem.disposable.dispose();
-            paneItem.pane.dispose();
-        });
-        this.paneItems = [];
-        this.splitview.dispose();
-        this.element.remove();
-    }
-}

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

@@ -1,133 +0,0 @@
-import { Event } from '../events';
-import { IDisposable } from '../lifecycle';
-import { LayoutPriority, Orientation } from '../splitview/splitview';
-import { PaneviewComponentOptions, PaneviewDndOverlayEvent } from './options';
-import { Paneview } from './paneview';
-import { IPanePart, PaneviewPanel, IPaneviewPanel } from './paneviewPanel';
-import { DraggablePaneviewPanel, PaneviewDidDropEvent } from './draggablePaneviewPanel';
-import { Resizable } from '../resizable';
-import { Parameters } from '../panel/types';
-export interface SerializedPaneviewPanel {
-    snap?: boolean;
-    priority?: LayoutPriority;
-    minimumSize?: number;
-    maximumSize?: number;
-    headerSize?: 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: IPanePart;
-        header: IPanePart;
-        orientation: Orientation;
-        isExpanded: boolean;
-        disableDnd: boolean;
-        accessor: IPaneviewComponent;
-        headerSize: number;
-        minimumBodySize: number;
-        maximumBodySize: number;
-    });
-    getBodyComponent(): IPanePart;
-    getHeaderComponent(): IPanePart;
-}
-export interface AddPaneviewComponentOptions<T extends object = Parameters> {
-    id: string;
-    component: string;
-    headerComponent?: string;
-    params?: T;
-    minimumBodySize?: number;
-    maximumBodySize?: number;
-    headerSize?: 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<PaneviewDidDropEvent>;
-    readonly onDidLayoutChange: Event<void>;
-    readonly onDidLayoutFromJSON: Event<void>;
-    readonly onUnhandledDragOver: Event<PaneviewDndOverlayEvent>;
-    addPanel<T extends object = Parameters>(options: AddPaneviewComponentOptions<T>): 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;
-    setVisible(panel: IPaneviewPanel, visible: boolean): void;
-    clear(): void;
-}
-export declare class PaneviewComponent extends Resizable implements IPaneviewComponent {
-    private readonly _id;
-    private _options;
-    private readonly _disposable;
-    private readonly _viewDisposables;
-    private _paneview;
-    private readonly _onDidLayoutfromJSON;
-    readonly onDidLayoutFromJSON: Event<void>;
-    private readonly _onDidLayoutChange;
-    readonly onDidLayoutChange: Event<void>;
-    private readonly _onDidDrop;
-    readonly onDidDrop: Event<PaneviewDidDropEvent>;
-    private readonly _onDidAddView;
-    readonly onDidAddView: Event<PaneviewPanel>;
-    private readonly _onDidRemoveView;
-    readonly onDidRemoveView: Event<PaneviewPanel>;
-    private readonly _onUnhandledDragOver;
-    readonly onUnhandledDragOver: Event<PaneviewDndOverlayEvent>;
-    private readonly _classNames;
-    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(container: HTMLElement, options: PaneviewComponentOptions);
-    setVisible(panel: PaneviewPanel, visible: boolean): void;
-    focus(): void;
-    updateOptions(options: Partial<PaneviewComponentOptions>): void;
-    addPanel<T extends object = Parameters>(options: AddPaneviewComponentOptions<T>): 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,306 +0,0 @@
-import { PaneviewApi } from '../api/component.api';
-import { Emitter } from '../events';
-import { CompositeDisposable, MutableDisposable, } from '../lifecycle';
-import { Orientation, Sizing } from '../splitview/splitview';
-import { Paneview } from './paneview';
-import { DraggablePaneviewPanel, } from './draggablePaneviewPanel';
-import { DefaultHeader } from './defaultPaneviewHeader';
-import { sequentialNumberGenerator } from '../math';
-import { Resizable } from '../resizable';
-import { Classnames } from '../dom';
-const nextLayoutId = sequentialNumberGenerator();
-const HEADER_SIZE = 22;
-const MINIMUM_BODY_SIZE = 0;
-const MAXIMUM_BODY_SIZE = Number.MAX_SAFE_INTEGER;
-export class PaneFramework extends DraggablePaneviewPanel {
-    constructor(options) {
-        super({
-            accessor: options.accessor,
-            id: options.id,
-            component: options.component,
-            headerComponent: options.headerComponent,
-            orientation: options.orientation,
-            isExpanded: options.isExpanded,
-            disableDnd: options.disableDnd,
-            headerSize: options.headerSize,
-            minimumBodySize: options.minimumBodySize,
-            maximumBodySize: options.maximumBodySize,
-        });
-        this.options = options;
-    }
-    getBodyComponent() {
-        return this.options.body;
-    }
-    getHeaderComponent() {
-        return this.options.header;
-    }
-}
-export class PaneviewComponent extends Resizable {
-    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;
-    }
-    constructor(container, options) {
-        var _a;
-        super(document.createElement('div'), options.disableAutoResizing);
-        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._onUnhandledDragOver = new Emitter();
-        this.onUnhandledDragOver = this._onUnhandledDragOver.event;
-        this.element.style.height = '100%';
-        this.element.style.width = '100%';
-        this.addDisposables(this._onDidLayoutChange, this._onDidLayoutfromJSON, this._onDidDrop, this._onDidAddView, this._onDidRemoveView, this._onUnhandledDragOver);
-        this._classNames = new Classnames(this.element);
-        this._classNames.setClassNames((_a = options.className) !== null && _a !== void 0 ? _a : '');
-        // the container is owned by the third-party, do not modify/delete it
-        container.appendChild(this.element);
-        this._options = options;
-        this.paneview = new Paneview(this.element, {
-            // only allow paneview in the vertical orientation for now
-            orientation: Orientation.VERTICAL,
-        });
-        this.addDisposables(this._disposable);
-    }
-    setVisible(panel, visible) {
-        const index = this.panels.indexOf(panel);
-        this.paneview.setViewVisible(index, visible);
-    }
-    focus() {
-        //noop
-    }
-    updateOptions(options) {
-        var _a, _b;
-        if ('className' in options) {
-            this._classNames.setClassNames((_a = options.className) !== null && _a !== void 0 ? _a : '');
-        }
-        if ('disableResizing' in options) {
-            this.disableResizing = (_b = options.disableAutoResizing) !== null && _b !== void 0 ? _b : false;
-        }
-        this._options = Object.assign(Object.assign({}, this.options), options);
-    }
-    addPanel(options) {
-        var _a, _b;
-        const body = this.options.createComponent({
-            id: options.id,
-            name: options.component,
-        });
-        let header;
-        if (options.headerComponent && this.options.createHeaderComponent) {
-            header = this.options.createHeaderComponent({
-                id: options.id,
-                name: options.headerComponent,
-            });
-        }
-        header !== null && header !== void 0 ? header : (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,
-            headerSize: (_a = options.headerSize) !== null && _a !== void 0 ? _a : HEADER_SIZE,
-            minimumBodySize: MINIMUM_BODY_SIZE,
-            maximumBodySize: MAXIMUM_BODY_SIZE,
-        });
-        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: (_b = options.params) !== null && _b !== void 0 ? _b : {},
-            minimumBodySize: options.minimumBodySize,
-            maximumBodySize: options.maximumBodySize,
-            isExpanded: options.isExpanded,
-            title: options.title,
-            containerApi: new PaneviewApi(this),
-            accessor: 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),
-                headerSize: view.headerSize,
-                expanded: view.isExpanded(),
-            };
-        });
-        return {
-            views,
-            size: this.paneview.size,
-        };
-    }
-    fromJSON(serializedPaneview) {
-        this.clear();
-        const { views, size } = serializedPaneview;
-        const queue = [];
-        // take note of the existing dimensions
-        const width = this.width;
-        const height = this.height;
-        this.paneview = new Paneview(this.element, {
-            orientation: Orientation.VERTICAL,
-            descriptor: {
-                size,
-                views: views.map((view) => {
-                    var _a, _b, _c;
-                    const data = view.data;
-                    const body = this.options.createComponent({
-                        id: data.id,
-                        name: data.component,
-                    });
-                    let header;
-                    if (data.headerComponent &&
-                        this.options.createHeaderComponent) {
-                        header = this.options.createHeaderComponent({
-                            id: data.id,
-                            name: data.headerComponent,
-                        });
-                    }
-                    header !== null && header !== void 0 ? header : (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,
-                        headerSize: (_a = view.headerSize) !== null && _a !== void 0 ? _a : HEADER_SIZE,
-                        minimumBodySize: (_b = view.minimumSize) !== null && _b !== void 0 ? _b : MINIMUM_BODY_SIZE,
-                        maximumBodySize: (_c = view.maximumSize) !== null && _c !== void 0 ? _c : MAXIMUM_BODY_SIZE,
-                    });
-                    this.doAddPanel(panel);
-                    queue.push(() => {
-                        var _a;
-                        panel.init({
-                            params: (_a = data.params) !== null && _a !== void 0 ? _a : {},
-                            minimumBodySize: view.minimumSize,
-                            maximumBodySize: view.maximumSize,
-                            title: data.title,
-                            isExpanded: !!view.expanded,
-                            containerApi: new PaneviewApi(this),
-                            accessor: 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(width, 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 = new CompositeDisposable(panel.onDidDrop((event) => {
-            this._onDidDrop.fire(event);
-        }), panel.onUnhandledDragOver((event) => {
-            this._onUnhandledDragOver.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.element.remove();
-        this.paneview.dispose();
-    }
-}

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

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