dockview 1.5.0 → 1.5.2

package/dist/esm/splitview/splitviewComponent.js

@@ -1,249 +1,249 @@
-import { CompositeDisposable, MutableDisposable, } from '../lifecycle';
-import { Orientation, Sizing, Splitview, } from './core/splitview';
-import { Emitter } from '../events';
-import { createComponent } from '../panel/componentFactory';
-/**
- * A high-level implementation of splitview that works using 'panels'
- */
-export class SplitviewComponent extends CompositeDisposable {
-    constructor(element, options) {
-        super();
-        this.element = element;
-        this._disposable = new MutableDisposable();
-        this._panels = new Map();
-        this._onDidLayoutfromJSON = new Emitter();
-        this.onDidLayoutFromJSON = this._onDidLayoutfromJSON.event;
-        this._onDidAddView = new Emitter();
-        this.onDidAddView = this._onDidAddView.event;
-        this._onDidRemoveView = new Emitter();
-        this.onDidRemoveView = this._onDidRemoveView.event;
-        this._onDidLayoutChange = new Emitter();
-        this.onDidLayoutChange = this._onDidLayoutChange.event;
-        this._options = options;
-        if (!options.components) {
-            options.components = {};
-        }
-        if (!options.frameworkComponents) {
-            options.frameworkComponents = {};
-        }
-        this.splitview = new Splitview(this.element, options);
-        this.addDisposables(this._disposable, this._onDidAddView, this._onDidLayoutfromJSON, this._onDidRemoveView, this._onDidLayoutChange);
-    }
-    get panels() {
-        return this.splitview.getViews();
-    }
-    get options() {
-        return this._options;
-    }
-    get length() {
-        return this._panels.size;
-    }
-    get orientation() {
-        return this.splitview.orientation;
-    }
-    get splitview() {
-        return this._splitview;
-    }
-    set splitview(value) {
-        this._splitview = value;
-        this._disposable.value = new CompositeDisposable(this._splitview.onDidSashEnd(() => {
-            this._onDidLayoutChange.fire(undefined);
-        }), this._splitview.onDidAddView((e) => this._onDidAddView.fire(e)), this._splitview.onDidRemoveView((e) => this._onDidRemoveView.fire(e)));
-    }
-    get minimumSize() {
-        return this.splitview.minimumSize;
-    }
-    get maximumSize() {
-        return this.splitview.maximumSize;
-    }
-    get height() {
-        return this.splitview.orientation === Orientation.HORIZONTAL
-            ? this.splitview.orthogonalSize
-            : this.splitview.size;
-    }
-    get width() {
-        return this.splitview.orientation === Orientation.HORIZONTAL
-            ? this.splitview.size
-            : this.splitview.orthogonalSize;
-    }
-    updateOptions(options) {
-        const hasOrientationChanged = typeof options.orientation === 'string' &&
-            this.options.orientation !== options.orientation;
-        this._options = Object.assign(Object.assign({}, this.options), options);
-        if (hasOrientationChanged) {
-            this.splitview.orientation = options.orientation;
-        }
-        this.splitview.layout(this.splitview.size, this.splitview.orthogonalSize);
-    }
-    focus() {
-        var _a;
-        (_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.focus();
-    }
-    movePanel(from, to) {
-        this.splitview.moveView(from, to);
-    }
-    setVisible(panel, visible) {
-        const index = this.panels.indexOf(panel);
-        this.splitview.setViewVisible(index, visible);
-    }
-    setActive(view, skipFocus) {
-        this._activePanel = view;
-        this.panels
-            .filter((v) => v !== view)
-            .forEach((v) => {
-            v.api._onDidActiveChange.fire({ isActive: false });
-            if (!skipFocus) {
-                v.focus();
-            }
-        });
-        view.api._onDidActiveChange.fire({ isActive: true });
-        if (!skipFocus) {
-            view.focus();
-        }
-    }
-    removePanel(panel, sizing) {
-        const disposable = this._panels.get(panel.id);
-        if (!disposable) {
-            throw new Error(`unknown splitview panel ${panel.id}`);
-        }
-        disposable.disposable.dispose();
-        disposable.value.dispose();
-        this._panels.delete(panel.id);
-        const index = this.panels.findIndex((_) => _ === panel);
-        this.splitview.removeView(index, sizing);
-        const panels = this.panels;
-        if (panels.length > 0) {
-            this.setActive(panels[panels.length - 1]);
-        }
-    }
-    getPanel(id) {
-        return this.panels.find((view) => view.id === id);
-    }
-    addPanel(options) {
-        if (this._panels.has(options.id)) {
-            throw new Error(`panel ${options.id} already exists`);
-        }
-        const view = createComponent(options.id, options.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
-            ? {
-                createComponent: this.options.frameworkWrapper.createComponent,
-            }
-            : undefined);
-        view.orientation = this.splitview.orientation;
-        view.init({
-            params: options.params || {},
-            minimumSize: options.minimumSize,
-            maximumSize: options.maximumSize,
-            snap: options.snap,
-            priority: options.priority,
-            accessor: this,
-        });
-        const size = typeof options.size === 'number' ? options.size : Sizing.Distribute;
-        const index = typeof options.index === 'number' ? options.index : undefined;
-        this.splitview.addView(view, size, index);
-        this.doAddView(view);
-        this.setActive(view);
-        return view;
-    }
-    layout(width, height) {
-        const [size, orthogonalSize] = this.splitview.orientation === Orientation.HORIZONTAL
-            ? [width, height]
-            : [height, width];
-        this.splitview.layout(size, orthogonalSize);
-    }
-    doAddView(view) {
-        const disposable = view.api.onDidFocusChange((event) => {
-            if (!event.isFocused) {
-                return;
-            }
-            this.setActive(view, true);
-        });
-        this._panels.set(view.id, { disposable, value: view });
-    }
-    toJSON() {
-        var _a;
-        const views = this.splitview
-            .getViews()
-            .map((view, i) => {
-            const size = this.splitview.getViewSize(i);
-            return {
-                size,
-                data: view.toJSON(),
-                snap: !!view.snap,
-                priority: view.priority,
-            };
-        });
-        return {
-            views,
-            activeView: (_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.id,
-            size: this.splitview.size,
-            orientation: this.splitview.orientation,
-        };
-    }
-    fromJSON(serializedSplitview) {
-        this.clear();
-        const { views, orientation, size, activeView } = serializedSplitview;
-        const queue = [];
-        this.splitview = new Splitview(this.element, {
-            orientation,
-            proportionalLayout: this.options.proportionalLayout,
-            descriptor: {
-                size,
-                views: views.map((view) => {
-                    const data = view.data;
-                    if (this._panels.has(data.id)) {
-                        throw new Error(`panel ${data.id} already exists`);
-                    }
-                    const panel = createComponent(data.id, data.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
-                        ? {
-                            createComponent: this.options.frameworkWrapper
-                                .createComponent,
-                        }
-                        : undefined);
-                    queue.push(() => {
-                        panel.init({
-                            params: data.params || {},
-                            minimumSize: data.minimumSize,
-                            maximumSize: data.maximumSize,
-                            snap: view.snap,
-                            priority: view.priority,
-                            accessor: this,
-                        });
-                    });
-                    panel.orientation = orientation;
-                    this.doAddView(panel);
-                    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());
-        if (typeof activeView === 'string') {
-            const panel = this.getPanel(activeView);
-            if (panel) {
-                this.setActive(panel);
-            }
-        }
-        this._onDidLayoutfromJSON.fire();
-    }
-    clear() {
-        for (const [_, value] of this._panels.entries()) {
-            value.disposable.dispose();
-            value.value.dispose();
-        }
-        this._panels.clear();
-        this.splitview.dispose();
-    }
-    dispose() {
-        for (const [_, value] of this._panels.entries()) {
-            value.disposable.dispose();
-            value.value.dispose();
-        }
-        this._panels.clear();
-        this.splitview.dispose();
-        super.dispose();
-    }
-}
+import { CompositeDisposable, MutableDisposable, } from '../lifecycle';
+import { Orientation, Sizing, Splitview, } from './core/splitview';
+import { Emitter } from '../events';
+import { createComponent } from '../panel/componentFactory';
+/**
+ * A high-level implementation of splitview that works using 'panels'
+ */
+export class SplitviewComponent extends CompositeDisposable {
+    constructor(element, options) {
+        super();
+        this.element = element;
+        this._disposable = new MutableDisposable();
+        this._panels = new Map();
+        this._onDidLayoutfromJSON = new Emitter();
+        this.onDidLayoutFromJSON = this._onDidLayoutfromJSON.event;
+        this._onDidAddView = new Emitter();
+        this.onDidAddView = this._onDidAddView.event;
+        this._onDidRemoveView = new Emitter();
+        this.onDidRemoveView = this._onDidRemoveView.event;
+        this._onDidLayoutChange = new Emitter();
+        this.onDidLayoutChange = this._onDidLayoutChange.event;
+        this._options = options;
+        if (!options.components) {
+            options.components = {};
+        }
+        if (!options.frameworkComponents) {
+            options.frameworkComponents = {};
+        }
+        this.splitview = new Splitview(this.element, options);
+        this.addDisposables(this._disposable, this._onDidAddView, this._onDidLayoutfromJSON, this._onDidRemoveView, this._onDidLayoutChange);
+    }
+    get panels() {
+        return this.splitview.getViews();
+    }
+    get options() {
+        return this._options;
+    }
+    get length() {
+        return this._panels.size;
+    }
+    get orientation() {
+        return this.splitview.orientation;
+    }
+    get splitview() {
+        return this._splitview;
+    }
+    set splitview(value) {
+        this._splitview = value;
+        this._disposable.value = new CompositeDisposable(this._splitview.onDidSashEnd(() => {
+            this._onDidLayoutChange.fire(undefined);
+        }), this._splitview.onDidAddView((e) => this._onDidAddView.fire(e)), this._splitview.onDidRemoveView((e) => this._onDidRemoveView.fire(e)));
+    }
+    get minimumSize() {
+        return this.splitview.minimumSize;
+    }
+    get maximumSize() {
+        return this.splitview.maximumSize;
+    }
+    get height() {
+        return this.splitview.orientation === Orientation.HORIZONTAL
+            ? this.splitview.orthogonalSize
+            : this.splitview.size;
+    }
+    get width() {
+        return this.splitview.orientation === Orientation.HORIZONTAL
+            ? this.splitview.size
+            : this.splitview.orthogonalSize;
+    }
+    updateOptions(options) {
+        const hasOrientationChanged = typeof options.orientation === 'string' &&
+            this.options.orientation !== options.orientation;
+        this._options = Object.assign(Object.assign({}, this.options), options);
+        if (hasOrientationChanged) {
+            this.splitview.orientation = options.orientation;
+        }
+        this.splitview.layout(this.splitview.size, this.splitview.orthogonalSize);
+    }
+    focus() {
+        var _a;
+        (_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.focus();
+    }
+    movePanel(from, to) {
+        this.splitview.moveView(from, to);
+    }
+    setVisible(panel, visible) {
+        const index = this.panels.indexOf(panel);
+        this.splitview.setViewVisible(index, visible);
+    }
+    setActive(view, skipFocus) {
+        this._activePanel = view;
+        this.panels
+            .filter((v) => v !== view)
+            .forEach((v) => {
+            v.api._onDidActiveChange.fire({ isActive: false });
+            if (!skipFocus) {
+                v.focus();
+            }
+        });
+        view.api._onDidActiveChange.fire({ isActive: true });
+        if (!skipFocus) {
+            view.focus();
+        }
+    }
+    removePanel(panel, sizing) {
+        const disposable = this._panels.get(panel.id);
+        if (!disposable) {
+            throw new Error(`unknown splitview panel ${panel.id}`);
+        }
+        disposable.disposable.dispose();
+        disposable.value.dispose();
+        this._panels.delete(panel.id);
+        const index = this.panels.findIndex((_) => _ === panel);
+        this.splitview.removeView(index, sizing);
+        const panels = this.panels;
+        if (panels.length > 0) {
+            this.setActive(panels[panels.length - 1]);
+        }
+    }
+    getPanel(id) {
+        return this.panels.find((view) => view.id === id);
+    }
+    addPanel(options) {
+        if (this._panels.has(options.id)) {
+            throw new Error(`panel ${options.id} already exists`);
+        }
+        const view = createComponent(options.id, options.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
+            ? {
+                createComponent: this.options.frameworkWrapper.createComponent,
+            }
+            : undefined);
+        view.orientation = this.splitview.orientation;
+        view.init({
+            params: options.params || {},
+            minimumSize: options.minimumSize,
+            maximumSize: options.maximumSize,
+            snap: options.snap,
+            priority: options.priority,
+            accessor: this,
+        });
+        const size = typeof options.size === 'number' ? options.size : Sizing.Distribute;
+        const index = typeof options.index === 'number' ? options.index : undefined;
+        this.splitview.addView(view, size, index);
+        this.doAddView(view);
+        this.setActive(view);
+        return view;
+    }
+    layout(width, height) {
+        const [size, orthogonalSize] = this.splitview.orientation === Orientation.HORIZONTAL
+            ? [width, height]
+            : [height, width];
+        this.splitview.layout(size, orthogonalSize);
+    }
+    doAddView(view) {
+        const disposable = view.api.onDidFocusChange((event) => {
+            if (!event.isFocused) {
+                return;
+            }
+            this.setActive(view, true);
+        });
+        this._panels.set(view.id, { disposable, value: view });
+    }
+    toJSON() {
+        var _a;
+        const views = this.splitview
+            .getViews()
+            .map((view, i) => {
+            const size = this.splitview.getViewSize(i);
+            return {
+                size,
+                data: view.toJSON(),
+                snap: !!view.snap,
+                priority: view.priority,
+            };
+        });
+        return {
+            views,
+            activeView: (_a = this._activePanel) === null || _a === void 0 ? void 0 : _a.id,
+            size: this.splitview.size,
+            orientation: this.splitview.orientation,
+        };
+    }
+    fromJSON(serializedSplitview) {
+        this.clear();
+        const { views, orientation, size, activeView } = serializedSplitview;
+        const queue = [];
+        this.splitview = new Splitview(this.element, {
+            orientation,
+            proportionalLayout: this.options.proportionalLayout,
+            descriptor: {
+                size,
+                views: views.map((view) => {
+                    const data = view.data;
+                    if (this._panels.has(data.id)) {
+                        throw new Error(`panel ${data.id} already exists`);
+                    }
+                    const panel = createComponent(data.id, data.component, this.options.components || {}, this.options.frameworkComponents || {}, this.options.frameworkWrapper
+                        ? {
+                            createComponent: this.options.frameworkWrapper
+                                .createComponent,
+                        }
+                        : undefined);
+                    queue.push(() => {
+                        panel.init({
+                            params: data.params || {},
+                            minimumSize: data.minimumSize,
+                            maximumSize: data.maximumSize,
+                            snap: view.snap,
+                            priority: view.priority,
+                            accessor: this,
+                        });
+                    });
+                    panel.orientation = orientation;
+                    this.doAddView(panel);
+                    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());
+        if (typeof activeView === 'string') {
+            const panel = this.getPanel(activeView);
+            if (panel) {
+                this.setActive(panel);
+            }
+        }
+        this._onDidLayoutfromJSON.fire();
+    }
+    clear() {
+        for (const [_, value] of this._panels.entries()) {
+            value.disposable.dispose();
+            value.value.dispose();
+        }
+        this._panels.clear();
+        this.splitview.dispose();
+    }
+    dispose() {
+        for (const [_, value] of this._panels.entries()) {
+            value.disposable.dispose();
+            value.value.dispose();
+        }
+        this._panels.clear();
+        this.splitview.dispose();
+        super.dispose();
+    }
+}

package/dist/esm/splitview/splitviewPanel.d.ts

@@ -1,42 +1,45 @@
-import { ISerializableView, PanelViewInitParameters } from './core/options';
-import { BasePanelView, BasePanelViewExported } from '../gridview/basePanelView';
-import { SplitviewPanelApiImpl } from '../api/splitviewPanelApi';
-import { LayoutPriority, Orientation } from './core/splitview';
-import { Event } from '../events';
-export interface ISplitviewPanel extends BasePanelViewExported<SplitviewPanelApiImpl> {
-    readonly priority: LayoutPriority | undefined;
-    readonly minimumSize: number;
-    readonly maximumSize: number;
-    readonly snap: boolean;
-    readonly orientation: Orientation;
-}
-export declare abstract class SplitviewPanel extends BasePanelView<SplitviewPanelApiImpl> implements ISerializableView, ISplitviewPanel {
-    private _evaluatedMinimumSize;
-    private _evaluatedMaximumSize;
-    private _minimumSize;
-    private _maximumSize;
-    private _priority?;
-    private _snap;
-    private _orientation?;
-    private readonly _onDidChange;
-    readonly onDidChange: Event<number | undefined>;
-    get priority(): LayoutPriority | undefined;
-    set orientation(value: Orientation);
-    get orientation(): Orientation;
-    get minimumSize(): number;
-    get maximumSize(): number;
-    get snap(): boolean;
-    constructor(id: string, componentName: string);
-    setVisible(isVisible: boolean): void;
-    setActive(isActive: boolean): void;
-    layout(size: number, orthogonalSize: number): void;
-    init(parameters: PanelViewInitParameters): void;
-    toJSON(): {
-        minimumSize: number | undefined;
-        maximumSize: number | undefined;
-        id: string;
-        component: string;
-        params?: Record<string, any> | undefined;
-    };
-    private updateConstraints;
-}
+import { ISerializableView, PanelViewInitParameters } from './core/options';
+import { BasePanelView, BasePanelViewExported } from '../gridview/basePanelView';
+import { SplitviewPanelApiImpl } from '../api/splitviewPanelApi';
+import { LayoutPriority, Orientation } from './core/splitview';
+import { Event } from '../events';
+export interface ISplitviewPanel extends BasePanelViewExported<SplitviewPanelApiImpl> {
+    readonly priority: LayoutPriority | undefined;
+    readonly minimumSize: number;
+    readonly maximumSize: number;
+    readonly snap: boolean;
+    readonly orientation: Orientation;
+}
+export declare abstract class SplitviewPanel extends BasePanelView<SplitviewPanelApiImpl> implements ISerializableView, ISplitviewPanel {
+    private _evaluatedMinimumSize;
+    private _evaluatedMaximumSize;
+    private _minimumSize;
+    private _maximumSize;
+    private _priority?;
+    private _snap;
+    private _orientation?;
+    private readonly _onDidChange;
+    readonly onDidChange: Event<{
+        size?: number;
+        orthogonalSize?: number;
+    }>;
+    get priority(): LayoutPriority | undefined;
+    set orientation(value: Orientation);
+    get orientation(): Orientation;
+    get minimumSize(): number;
+    get maximumSize(): number;
+    get snap(): boolean;
+    constructor(id: string, componentName: string);
+    setVisible(isVisible: boolean): void;
+    setActive(isActive: boolean): void;
+    layout(size: number, orthogonalSize: number): void;
+    init(parameters: PanelViewInitParameters): void;
+    toJSON(): {
+        minimumSize: number | undefined;
+        maximumSize: number | undefined;
+        id: string;
+        component: string;
+        params?: Record<string, any> | undefined;
+    };
+    private updateConstraints;
+}