dockview 1.5.0 → 1.5.2

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

@@ -1,326 +1,326 @@
-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();
-    }
-}
+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();
+    }
+}