@theia/preferences 1.45.0 → 1.46.0-next.72

package/lib/browser/views/preference-tree-widget.js

@@ -1,105 +1,105 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2020 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-var PreferencesTreeWidget_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PreferencesTreeWidget = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const browser_1 = require("@theia/core/lib/browser");
-const React = require("@theia/core/shared/react");
-const preference_tree_model_1 = require("../preference-tree-model");
-let PreferencesTreeWidget = PreferencesTreeWidget_1 = class PreferencesTreeWidget extends browser_1.TreeWidget {
-    constructor() {
-        super(...arguments);
-        this.shouldFireSelectionEvents = true;
-    }
-    init() {
-        super.init();
-        this.id = PreferencesTreeWidget_1.ID;
-        this.toDispose.pushAll([
-            this.model.onFilterChanged(() => {
-                this.updateRows();
-            }),
-        ]);
-    }
-    doUpdateRows() {
-        this.rows = new Map();
-        let index = 0;
-        for (const [id, nodeRow] of this.model.currentRows.entries()) {
-            if (nodeRow.visibleChildren > 0 && (browser_1.ExpandableTreeNode.is(nodeRow.node) || browser_1.ExpandableTreeNode.isExpanded(nodeRow.node.parent))) {
-                this.rows.set(id, { ...nodeRow, index: index++ });
-            }
-        }
-        this.updateScrollToRow();
-    }
-    doRenderNodeRow({ depth, visibleChildren, node, isExpansible }) {
-        return this.renderNode(node, { depth, visibleChildren, isExpansible });
-    }
-    renderNode(node, props) {
-        if (!browser_1.TreeNode.isVisible(node)) {
-            return undefined;
-        }
-        const attributes = this.createNodeAttributes(node, props);
-        const content = React.createElement("div", { className: browser_1.TREE_NODE_CONTENT_CLASS },
-            this.renderExpansionToggle(node, props),
-            this.renderCaption(node, props));
-        return React.createElement('div', attributes, content);
-    }
-    renderExpansionToggle(node, props) {
-        if (browser_1.ExpandableTreeNode.is(node) && !props.isExpansible) {
-            return React.createElement("div", { className: 'preferences-tree-spacer' });
-        }
-        return super.renderExpansionToggle(node, props);
-    }
-    toNodeName(node) {
-        var _a;
-        const visibleChildren = (_a = this.model.currentRows.get(node.id)) === null || _a === void 0 ? void 0 : _a.visibleChildren;
-        const baseName = this.labelProvider.getName(node);
-        const printedNameWithVisibleChildren = this.model.isFiltered && visibleChildren !== undefined
-            ? `${baseName} (${visibleChildren})`
-            : baseName;
-        return printedNameWithVisibleChildren;
-    }
-};
-PreferencesTreeWidget.ID = 'preferences.tree';
-__decorate([
-    (0, inversify_1.inject)(preference_tree_model_1.PreferenceTreeModel),
-    __metadata("design:type", preference_tree_model_1.PreferenceTreeModel)
-], PreferencesTreeWidget.prototype, "model", void 0);
-__decorate([
-    (0, inversify_1.inject)(browser_1.TreeProps),
-    __metadata("design:type", Object)
-], PreferencesTreeWidget.prototype, "treeProps", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], PreferencesTreeWidget.prototype, "init", null);
-PreferencesTreeWidget = PreferencesTreeWidget_1 = __decorate([
-    (0, inversify_1.injectable)()
-], PreferencesTreeWidget);
-exports.PreferencesTreeWidget = PreferencesTreeWidget;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2020 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var PreferencesTreeWidget_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PreferencesTreeWidget = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const browser_1 = require("@theia/core/lib/browser");
+const React = require("@theia/core/shared/react");
+const preference_tree_model_1 = require("../preference-tree-model");
+let PreferencesTreeWidget = PreferencesTreeWidget_1 = class PreferencesTreeWidget extends browser_1.TreeWidget {
+    constructor() {
+        super(...arguments);
+        this.shouldFireSelectionEvents = true;
+    }
+    init() {
+        super.init();
+        this.id = PreferencesTreeWidget_1.ID;
+        this.toDispose.pushAll([
+            this.model.onFilterChanged(() => {
+                this.updateRows();
+            }),
+        ]);
+    }
+    doUpdateRows() {
+        this.rows = new Map();
+        let index = 0;
+        for (const [id, nodeRow] of this.model.currentRows.entries()) {
+            if (nodeRow.visibleChildren > 0 && (browser_1.ExpandableTreeNode.is(nodeRow.node) || browser_1.ExpandableTreeNode.isExpanded(nodeRow.node.parent))) {
+                this.rows.set(id, { ...nodeRow, index: index++ });
+            }
+        }
+        this.updateScrollToRow();
+    }
+    doRenderNodeRow({ depth, visibleChildren, node, isExpansible }) {
+        return this.renderNode(node, { depth, visibleChildren, isExpansible });
+    }
+    renderNode(node, props) {
+        if (!browser_1.TreeNode.isVisible(node)) {
+            return undefined;
+        }
+        const attributes = this.createNodeAttributes(node, props);
+        const content = React.createElement("div", { className: browser_1.TREE_NODE_CONTENT_CLASS },
+            this.renderExpansionToggle(node, props),
+            this.renderCaption(node, props));
+        return React.createElement('div', attributes, content);
+    }
+    renderExpansionToggle(node, props) {
+        if (browser_1.ExpandableTreeNode.is(node) && !props.isExpansible) {
+            return React.createElement("div", { className: 'preferences-tree-spacer' });
+        }
+        return super.renderExpansionToggle(node, props);
+    }
+    toNodeName(node) {
+        var _a;
+        const visibleChildren = (_a = this.model.currentRows.get(node.id)) === null || _a === void 0 ? void 0 : _a.visibleChildren;
+        const baseName = this.labelProvider.getName(node);
+        const printedNameWithVisibleChildren = this.model.isFiltered && visibleChildren !== undefined
+            ? `${baseName} (${visibleChildren})`
+            : baseName;
+        return printedNameWithVisibleChildren;
+    }
+};
+PreferencesTreeWidget.ID = 'preferences.tree';
+__decorate([
+    (0, inversify_1.inject)(preference_tree_model_1.PreferenceTreeModel),
+    __metadata("design:type", preference_tree_model_1.PreferenceTreeModel)
+], PreferencesTreeWidget.prototype, "model", void 0);
+__decorate([
+    (0, inversify_1.inject)(browser_1.TreeProps),
+    __metadata("design:type", Object)
+], PreferencesTreeWidget.prototype, "treeProps", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], PreferencesTreeWidget.prototype, "init", null);
+PreferencesTreeWidget = PreferencesTreeWidget_1 = __decorate([
+    (0, inversify_1.injectable)()
+], PreferencesTreeWidget);
+exports.PreferencesTreeWidget = PreferencesTreeWidget;
 //# sourceMappingURL=preference-tree-widget.js.map

package/lib/browser/views/preference-widget-bindings.d.ts

@@ -1,4 +1,4 @@
-import { Container, interfaces } from '@theia/core/shared/inversify';
-export declare function bindPreferencesWidgets(bind: interfaces.Bind): void;
-export declare function createPreferencesWidgetContainer(parent: interfaces.Container): Container;
+import { Container, interfaces } from '@theia/core/shared/inversify';
+export declare function bindPreferencesWidgets(bind: interfaces.Bind): void;
+export declare function createPreferencesWidgetContainer(parent: interfaces.Container): Container;
 //# sourceMappingURL=preference-widget-bindings.d.ts.map

package/lib/browser/views/preference-widget-bindings.js

@@ -1,88 +1,88 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.createPreferencesWidgetContainer = exports.bindPreferencesWidgets = void 0;
-// *****************************************************************************
-// Copyright (C) 2020 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-const browser_1 = require("@theia/core/lib/browser");
-const contribution_provider_1 = require("@theia/core/lib/common/contribution-provider");
-const preference_tree_model_1 = require("../preference-tree-model");
-const preference_tree_label_provider_1 = require("../util/preference-tree-label-provider");
-const preference_array_input_1 = require("./components/preference-array-input");
-const preference_boolean_input_1 = require("./components/preference-boolean-input");
-const preference_file_input_1 = require("./components/preference-file-input");
-const preference_json_input_1 = require("./components/preference-json-input");
-const preference_node_renderer_1 = require("./components/preference-node-renderer");
-const preference_node_renderer_creator_1 = require("./components/preference-node-renderer-creator");
-const preference_number_input_1 = require("./components/preference-number-input");
-const preference_select_input_1 = require("./components/preference-select-input");
-const preference_string_input_1 = require("./components/preference-string-input");
-const preference_markdown_renderer_1 = require("./components/preference-markdown-renderer");
-const preference_editor_widget_1 = require("./preference-editor-widget");
-const preference_scope_tabbar_widget_1 = require("./preference-scope-tabbar-widget");
-const preference_searchbar_widget_1 = require("./preference-searchbar-widget");
-const preference_tree_widget_1 = require("./preference-tree-widget");
-const preference_widget_1 = require("./preference-widget");
-function bindPreferencesWidgets(bind) {
-    bind(preference_tree_label_provider_1.PreferenceTreeLabelProvider).toSelf().inSingletonScope();
-    bind(browser_1.LabelProviderContribution).toService(preference_tree_label_provider_1.PreferenceTreeLabelProvider);
-    bind(preference_widget_1.PreferencesWidget)
-        .toDynamicValue(({ container }) => createPreferencesWidgetContainer(container).get(preference_widget_1.PreferencesWidget))
-        .inSingletonScope();
-    bind(browser_1.WidgetFactory).toDynamicValue(({ container }) => ({
-        id: preference_widget_1.PreferencesWidget.ID,
-        createWidget: () => container.get(preference_widget_1.PreferencesWidget)
-    })).inSingletonScope();
-    (0, contribution_provider_1.bindContributionProvider)(bind, preference_node_renderer_creator_1.PreferenceNodeRendererContribution);
-    bind(preference_select_input_1.PreferenceSelectInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_select_input_1.PreferenceSelectInputRendererContribution).inSingletonScope();
-    bind(preference_array_input_1.PreferenceArrayInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_array_input_1.PreferenceArrayInputRendererContribution).inSingletonScope();
-    bind(preference_string_input_1.PreferenceStringInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_string_input_1.PreferenceStringInputRendererContribution).inSingletonScope();
-    bind(preference_boolean_input_1.PreferenceBooleanInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_boolean_input_1.PreferenceBooleanInputRendererContribution).inSingletonScope();
-    bind(preference_number_input_1.PreferenceNumberInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_number_input_1.PreferenceNumberInputRendererContribution).inSingletonScope();
-    bind(preference_json_input_1.PreferenceJSONLinkRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_json_input_1.PreferenceJSONLinkRendererContribution).inSingletonScope();
-    bind(preference_node_renderer_1.PreferenceHeaderRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_node_renderer_creator_1.PreferenceHeaderRendererContribution).inSingletonScope();
-    bind(preference_file_input_1.PreferenceSingleFilePathInputRenderer).toSelf();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_file_input_1.PreferenceSingleFilePathInputRendererContribution).inSingletonScope();
-    bind(preference_node_renderer_creator_1.DefaultPreferenceNodeRendererCreatorRegistry).toSelf().inSingletonScope();
-    bind(preference_node_renderer_creator_1.PreferenceNodeRendererCreatorRegistry).toService(preference_node_renderer_creator_1.DefaultPreferenceNodeRendererCreatorRegistry);
-}
-exports.bindPreferencesWidgets = bindPreferencesWidgets;
-function createPreferencesWidgetContainer(parent) {
-    const child = (0, browser_1.createTreeContainer)(parent, {
-        model: preference_tree_model_1.PreferenceTreeModel,
-        widget: preference_tree_widget_1.PreferencesTreeWidget,
-        props: { search: false }
-    });
-    child.bind(preference_editor_widget_1.PreferencesEditorWidget).toSelf();
-    child.bind(preference_searchbar_widget_1.PreferencesSearchbarWidget).toSelf();
-    child.bind(preference_scope_tabbar_widget_1.PreferencesScopeTabBar).toSelf();
-    child.bind(preference_widget_1.PreferencesWidget).toSelf();
-    child.bind(preference_node_renderer_1.PreferenceNodeRendererFactory).toFactory(({ container }) => (node) => {
-        const registry = container.get(preference_node_renderer_creator_1.PreferenceNodeRendererCreatorRegistry);
-        const creator = registry.getPreferenceNodeRendererCreator(node);
-        return creator.createRenderer(node, container);
-    });
-    child.bind(preference_markdown_renderer_1.PreferenceMarkdownRenderer).toSelf().inSingletonScope();
-    return child;
-}
-exports.createPreferencesWidgetContainer = createPreferencesWidgetContainer;
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createPreferencesWidgetContainer = exports.bindPreferencesWidgets = void 0;
+// *****************************************************************************
+// Copyright (C) 2020 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+const browser_1 = require("@theia/core/lib/browser");
+const contribution_provider_1 = require("@theia/core/lib/common/contribution-provider");
+const preference_tree_model_1 = require("../preference-tree-model");
+const preference_tree_label_provider_1 = require("../util/preference-tree-label-provider");
+const preference_array_input_1 = require("./components/preference-array-input");
+const preference_boolean_input_1 = require("./components/preference-boolean-input");
+const preference_file_input_1 = require("./components/preference-file-input");
+const preference_json_input_1 = require("./components/preference-json-input");
+const preference_node_renderer_1 = require("./components/preference-node-renderer");
+const preference_node_renderer_creator_1 = require("./components/preference-node-renderer-creator");
+const preference_number_input_1 = require("./components/preference-number-input");
+const preference_select_input_1 = require("./components/preference-select-input");
+const preference_string_input_1 = require("./components/preference-string-input");
+const preference_markdown_renderer_1 = require("./components/preference-markdown-renderer");
+const preference_editor_widget_1 = require("./preference-editor-widget");
+const preference_scope_tabbar_widget_1 = require("./preference-scope-tabbar-widget");
+const preference_searchbar_widget_1 = require("./preference-searchbar-widget");
+const preference_tree_widget_1 = require("./preference-tree-widget");
+const preference_widget_1 = require("./preference-widget");
+function bindPreferencesWidgets(bind) {
+    bind(preference_tree_label_provider_1.PreferenceTreeLabelProvider).toSelf().inSingletonScope();
+    bind(browser_1.LabelProviderContribution).toService(preference_tree_label_provider_1.PreferenceTreeLabelProvider);
+    bind(preference_widget_1.PreferencesWidget)
+        .toDynamicValue(({ container }) => createPreferencesWidgetContainer(container).get(preference_widget_1.PreferencesWidget))
+        .inSingletonScope();
+    bind(browser_1.WidgetFactory).toDynamicValue(({ container }) => ({
+        id: preference_widget_1.PreferencesWidget.ID,
+        createWidget: () => container.get(preference_widget_1.PreferencesWidget)
+    })).inSingletonScope();
+    (0, contribution_provider_1.bindContributionProvider)(bind, preference_node_renderer_creator_1.PreferenceNodeRendererContribution);
+    bind(preference_select_input_1.PreferenceSelectInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_select_input_1.PreferenceSelectInputRendererContribution).inSingletonScope();
+    bind(preference_array_input_1.PreferenceArrayInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_array_input_1.PreferenceArrayInputRendererContribution).inSingletonScope();
+    bind(preference_string_input_1.PreferenceStringInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_string_input_1.PreferenceStringInputRendererContribution).inSingletonScope();
+    bind(preference_boolean_input_1.PreferenceBooleanInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_boolean_input_1.PreferenceBooleanInputRendererContribution).inSingletonScope();
+    bind(preference_number_input_1.PreferenceNumberInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_number_input_1.PreferenceNumberInputRendererContribution).inSingletonScope();
+    bind(preference_json_input_1.PreferenceJSONLinkRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_json_input_1.PreferenceJSONLinkRendererContribution).inSingletonScope();
+    bind(preference_node_renderer_1.PreferenceHeaderRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_node_renderer_creator_1.PreferenceHeaderRendererContribution).inSingletonScope();
+    bind(preference_file_input_1.PreferenceSingleFilePathInputRenderer).toSelf();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererContribution).to(preference_file_input_1.PreferenceSingleFilePathInputRendererContribution).inSingletonScope();
+    bind(preference_node_renderer_creator_1.DefaultPreferenceNodeRendererCreatorRegistry).toSelf().inSingletonScope();
+    bind(preference_node_renderer_creator_1.PreferenceNodeRendererCreatorRegistry).toService(preference_node_renderer_creator_1.DefaultPreferenceNodeRendererCreatorRegistry);
+}
+exports.bindPreferencesWidgets = bindPreferencesWidgets;
+function createPreferencesWidgetContainer(parent) {
+    const child = (0, browser_1.createTreeContainer)(parent, {
+        model: preference_tree_model_1.PreferenceTreeModel,
+        widget: preference_tree_widget_1.PreferencesTreeWidget,
+        props: { search: false }
+    });
+    child.bind(preference_editor_widget_1.PreferencesEditorWidget).toSelf();
+    child.bind(preference_searchbar_widget_1.PreferencesSearchbarWidget).toSelf();
+    child.bind(preference_scope_tabbar_widget_1.PreferencesScopeTabBar).toSelf();
+    child.bind(preference_widget_1.PreferencesWidget).toSelf();
+    child.bind(preference_node_renderer_1.PreferenceNodeRendererFactory).toFactory(({ container }) => (node) => {
+        const registry = container.get(preference_node_renderer_creator_1.PreferenceNodeRendererCreatorRegistry);
+        const creator = registry.getPreferenceNodeRendererCreator(node);
+        return creator.createRenderer(node, container);
+    });
+    child.bind(preference_markdown_renderer_1.PreferenceMarkdownRenderer).toSelf().inSingletonScope();
+    return child;
+}
+exports.createPreferencesWidgetContainer = createPreferencesWidgetContainer;
 //# sourceMappingURL=preference-widget-bindings.js.map

package/lib/browser/views/preference-widget.d.ts

@@ -1,37 +1,37 @@
-import { Panel, Widget, Message, StatefulWidget, PreferenceScope } from '@theia/core/lib/browser';
-import { PreferencesEditorState, PreferencesEditorWidget } from './preference-editor-widget';
-import { PreferencesTreeWidget } from './preference-tree-widget';
-import { PreferencesSearchbarState, PreferencesSearchbarWidget } from './preference-searchbar-widget';
-import { PreferencesScopeTabBar, PreferencesScopeTabBarState } from './preference-scope-tabbar-widget';
-import { Preference } from '../util/preference-types';
-import URI from '@theia/core/lib/common/uri';
-interface PreferencesWidgetState {
-    scopeTabBarState: PreferencesScopeTabBarState;
-    editorState: PreferencesEditorState;
-    searchbarWidgetState: PreferencesSearchbarState;
-}
-export declare class PreferencesWidget extends Panel implements StatefulWidget {
-    /**
-     * The widget `id`.
-     */
-    static readonly ID = "settings_widget";
-    /**
-     * The widget `label` which is used for display purposes.
-     */
-    static readonly LABEL: string;
-    protected readonly editorWidget: PreferencesEditorWidget;
-    protected readonly treeWidget: PreferencesTreeWidget;
-    protected readonly searchbarWidget: PreferencesSearchbarWidget;
-    protected readonly tabBarWidget: PreferencesScopeTabBar;
-    get currentScope(): Preference.SelectedScopeDetails;
-    setSearchTerm(query: string): Promise<void>;
-    setScope(scope: PreferenceScope.User | PreferenceScope.Workspace | URI): void;
-    protected onResize(msg: Widget.ResizeMessage): void;
-    protected onActivateRequest(msg: Message): void;
-    protected init(): void;
-    getPreviewNode(): Node | undefined;
-    storeState(): PreferencesWidgetState;
-    restoreState(state: PreferencesWidgetState): void;
-}
-export {};
+import { Panel, Widget, Message, StatefulWidget, PreferenceScope } from '@theia/core/lib/browser';
+import { PreferencesEditorState, PreferencesEditorWidget } from './preference-editor-widget';
+import { PreferencesTreeWidget } from './preference-tree-widget';
+import { PreferencesSearchbarState, PreferencesSearchbarWidget } from './preference-searchbar-widget';
+import { PreferencesScopeTabBar, PreferencesScopeTabBarState } from './preference-scope-tabbar-widget';
+import { Preference } from '../util/preference-types';
+import URI from '@theia/core/lib/common/uri';
+interface PreferencesWidgetState {
+    scopeTabBarState: PreferencesScopeTabBarState;
+    editorState: PreferencesEditorState;
+    searchbarWidgetState: PreferencesSearchbarState;
+}
+export declare class PreferencesWidget extends Panel implements StatefulWidget {
+    /**
+     * The widget `id`.
+     */
+    static readonly ID = "settings_widget";
+    /**
+     * The widget `label` which is used for display purposes.
+     */
+    static readonly LABEL: string;
+    protected readonly editorWidget: PreferencesEditorWidget;
+    protected readonly treeWidget: PreferencesTreeWidget;
+    protected readonly searchbarWidget: PreferencesSearchbarWidget;
+    protected readonly tabBarWidget: PreferencesScopeTabBar;
+    get currentScope(): Preference.SelectedScopeDetails;
+    setSearchTerm(query: string): Promise<void>;
+    setScope(scope: PreferenceScope.User | PreferenceScope.Workspace | URI): void;
+    protected onResize(msg: Widget.ResizeMessage): void;
+    protected onActivateRequest(msg: Message): void;
+    protected init(): void;
+    getPreviewNode(): Node | undefined;
+    storeState(): PreferencesWidgetState;
+    restoreState(state: PreferencesWidgetState): void;
+}
+export {};
 //# sourceMappingURL=preference-widget.d.ts.map