@theia/preferences 1.34.1 → 1.34.3

package/lib/browser/views/components/preference-select-input.js

@@ -1,136 +1,136 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2021 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 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 PreferenceSelectInputRendererContribution_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PreferenceSelectInputRendererContribution = exports.PreferenceSelectInputRenderer = void 0;
-const preference_node_renderer_1 = require("./preference-node-renderer");
-const inversify_1 = require("@theia/core/shared/inversify");
-const preference_provider_1 = require("@theia/core/lib/browser/preferences/preference-provider");
-const select_component_1 = require("@theia/core/lib/browser/widgets/select-component");
-const preference_node_renderer_creator_1 = require("./preference-node-renderer-creator");
-const React = require("@theia/core/shared/react");
-const client_1 = require("@theia/core/shared/react-dom/client");
-const strings_1 = require("@theia/core/lib/common/strings");
-let PreferenceSelectInputRenderer = class PreferenceSelectInputRenderer extends preference_node_renderer_1.PreferenceLeafNodeRenderer {
-    constructor() {
-        super(...arguments);
-        this.selectComponent = React.createRef();
-    }
-    get enumValues() {
-        return this.preferenceNode.preference.data.enum;
-    }
-    get selectOptions() {
-        var _a, _b, _c, _d;
-        const items = [];
-        const values = this.enumValues;
-        const preferenceData = this.preferenceNode.preference.data;
-        const defaultValue = preferenceData.default;
-        for (let i = 0; i < values.length; i++) {
-            const value = values[i];
-            const stringValue = `${value}`;
-            const label = (0, strings_1.escapeInvisibleChars)((_b = (_a = preferenceData.enumItemLabels) === null || _a === void 0 ? void 0 : _a[i]) !== null && _b !== void 0 ? _b : stringValue);
-            const detail = preference_provider_1.PreferenceProvider.deepEqual(defaultValue, value) ? 'default' : undefined;
-            let enumDescription = (_c = preferenceData.enumDescriptions) === null || _c === void 0 ? void 0 : _c[i];
-            let markdown = false;
-            const markdownEnumDescription = (_d = preferenceData.markdownEnumDescriptions) === null || _d === void 0 ? void 0 : _d[i];
-            if (markdownEnumDescription) {
-                enumDescription = this.markdownRenderer.renderInline(markdownEnumDescription);
-                markdown = true;
-            }
-            items.push({
-                label,
-                value: stringValue,
-                detail,
-                description: enumDescription,
-                markdown
-            });
-        }
-        return items;
-    }
-    createInteractable(parent) {
-        const interactable = document.createElement('div');
-        const selectComponent = React.createElement(select_component_1.SelectComponent, {
-            options: this.selectOptions,
-            defaultValue: this.getDataValue(),
-            onChange: (_, index) => this.handleUserInteraction(index),
-            ref: this.selectComponent
-        });
-        this.interactable = interactable;
-        const root = (0, client_1.createRoot)(interactable);
-        root.render(selectComponent);
-        parent.appendChild(interactable);
-    }
-    getFallbackValue() {
-        const { default: schemaDefault, defaultValue, enum: enumValues } = this.preferenceNode.preference.data;
-        return schemaDefault !== undefined
-            ? schemaDefault : defaultValue !== undefined
-            ? defaultValue
-            : enumValues[0];
-    }
-    doHandleValueChange() {
-        this.updateInspection();
-        const newValue = this.getDataValue();
-        this.updateModificationStatus(this.getValue());
-        if (document.activeElement !== this.interactable && this.selectComponent.current) {
-            this.selectComponent.current.value = newValue;
-        }
-    }
-    /**
-     * Returns the stringified index corresponding to the currently selected value.
-     */
-    getDataValue() {
-        const currentValue = this.getValue();
-        let selected = this.enumValues.findIndex(value => preference_provider_1.PreferenceProvider.deepEqual(value, currentValue));
-        if (selected === -1) {
-            const fallback = this.getFallbackValue();
-            selected = this.enumValues.findIndex(value => preference_provider_1.PreferenceProvider.deepEqual(value, fallback));
-        }
-        return Math.max(selected, 0);
-    }
-    handleUserInteraction(selected) {
-        const value = this.enumValues[selected];
-        this.setPreferenceImmediately(value);
-    }
-};
-PreferenceSelectInputRenderer = __decorate([
-    (0, inversify_1.injectable)()
-], PreferenceSelectInputRenderer);
-exports.PreferenceSelectInputRenderer = PreferenceSelectInputRenderer;
-let PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution_1 = class PreferenceSelectInputRendererContribution extends preference_node_renderer_creator_1.PreferenceLeafNodeRendererContribution {
-    constructor() {
-        super(...arguments);
-        this.id = PreferenceSelectInputRendererContribution_1.ID;
-    }
-    canHandleLeafNode(node) {
-        return node.preference.data.enum ? 3 : 0;
-    }
-    createLeafNodeRenderer(container) {
-        return container.get(PreferenceSelectInputRenderer);
-    }
-};
-PreferenceSelectInputRendererContribution.ID = 'preference-select-input-renderer';
-PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution_1 = __decorate([
-    (0, inversify_1.injectable)()
-], PreferenceSelectInputRendererContribution);
-exports.PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2021 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 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 PreferenceSelectInputRendererContribution_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PreferenceSelectInputRendererContribution = exports.PreferenceSelectInputRenderer = void 0;
+const preference_node_renderer_1 = require("./preference-node-renderer");
+const inversify_1 = require("@theia/core/shared/inversify");
+const preference_provider_1 = require("@theia/core/lib/browser/preferences/preference-provider");
+const select_component_1 = require("@theia/core/lib/browser/widgets/select-component");
+const preference_node_renderer_creator_1 = require("./preference-node-renderer-creator");
+const React = require("@theia/core/shared/react");
+const client_1 = require("@theia/core/shared/react-dom/client");
+const strings_1 = require("@theia/core/lib/common/strings");
+let PreferenceSelectInputRenderer = class PreferenceSelectInputRenderer extends preference_node_renderer_1.PreferenceLeafNodeRenderer {
+    constructor() {
+        super(...arguments);
+        this.selectComponent = React.createRef();
+    }
+    get enumValues() {
+        return this.preferenceNode.preference.data.enum;
+    }
+    get selectOptions() {
+        var _a, _b, _c, _d;
+        const items = [];
+        const values = this.enumValues;
+        const preferenceData = this.preferenceNode.preference.data;
+        const defaultValue = preferenceData.default;
+        for (let i = 0; i < values.length; i++) {
+            const value = values[i];
+            const stringValue = `${value}`;
+            const label = (0, strings_1.escapeInvisibleChars)((_b = (_a = preferenceData.enumItemLabels) === null || _a === void 0 ? void 0 : _a[i]) !== null && _b !== void 0 ? _b : stringValue);
+            const detail = preference_provider_1.PreferenceProvider.deepEqual(defaultValue, value) ? 'default' : undefined;
+            let enumDescription = (_c = preferenceData.enumDescriptions) === null || _c === void 0 ? void 0 : _c[i];
+            let markdown = false;
+            const markdownEnumDescription = (_d = preferenceData.markdownEnumDescriptions) === null || _d === void 0 ? void 0 : _d[i];
+            if (markdownEnumDescription) {
+                enumDescription = this.markdownRenderer.renderInline(markdownEnumDescription);
+                markdown = true;
+            }
+            items.push({
+                label,
+                value: stringValue,
+                detail,
+                description: enumDescription,
+                markdown
+            });
+        }
+        return items;
+    }
+    createInteractable(parent) {
+        const interactable = document.createElement('div');
+        const selectComponent = React.createElement(select_component_1.SelectComponent, {
+            options: this.selectOptions,
+            defaultValue: this.getDataValue(),
+            onChange: (_, index) => this.handleUserInteraction(index),
+            ref: this.selectComponent
+        });
+        this.interactable = interactable;
+        const root = (0, client_1.createRoot)(interactable);
+        root.render(selectComponent);
+        parent.appendChild(interactable);
+    }
+    getFallbackValue() {
+        const { default: schemaDefault, defaultValue, enum: enumValues } = this.preferenceNode.preference.data;
+        return schemaDefault !== undefined
+            ? schemaDefault : defaultValue !== undefined
+            ? defaultValue
+            : enumValues[0];
+    }
+    doHandleValueChange() {
+        this.updateInspection();
+        const newValue = this.getDataValue();
+        this.updateModificationStatus(this.getValue());
+        if (document.activeElement !== this.interactable && this.selectComponent.current) {
+            this.selectComponent.current.value = newValue;
+        }
+    }
+    /**
+     * Returns the stringified index corresponding to the currently selected value.
+     */
+    getDataValue() {
+        const currentValue = this.getValue();
+        let selected = this.enumValues.findIndex(value => preference_provider_1.PreferenceProvider.deepEqual(value, currentValue));
+        if (selected === -1) {
+            const fallback = this.getFallbackValue();
+            selected = this.enumValues.findIndex(value => preference_provider_1.PreferenceProvider.deepEqual(value, fallback));
+        }
+        return Math.max(selected, 0);
+    }
+    handleUserInteraction(selected) {
+        const value = this.enumValues[selected];
+        this.setPreferenceImmediately(value);
+    }
+};
+PreferenceSelectInputRenderer = __decorate([
+    (0, inversify_1.injectable)()
+], PreferenceSelectInputRenderer);
+exports.PreferenceSelectInputRenderer = PreferenceSelectInputRenderer;
+let PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution_1 = class PreferenceSelectInputRendererContribution extends preference_node_renderer_creator_1.PreferenceLeafNodeRendererContribution {
+    constructor() {
+        super(...arguments);
+        this.id = PreferenceSelectInputRendererContribution_1.ID;
+    }
+    canHandleLeafNode(node) {
+        return node.preference.data.enum ? 3 : 0;
+    }
+    createLeafNodeRenderer(container) {
+        return container.get(PreferenceSelectInputRenderer);
+    }
+};
+PreferenceSelectInputRendererContribution.ID = 'preference-select-input-renderer';
+PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution_1 = __decorate([
+    (0, inversify_1.injectable)()
+], PreferenceSelectInputRendererContribution);
+exports.PreferenceSelectInputRendererContribution = PreferenceSelectInputRendererContribution;
 //# sourceMappingURL=preference-select-input.js.map

package/lib/browser/views/components/preference-string-input.d.ts

@@ -1,18 +1,18 @@
-import { interfaces } from '@theia/core/shared/inversify';
-import { Preference } from '../../util/preference-types';
-import { PreferenceLeafNodeRenderer, PreferenceNodeRenderer } from './preference-node-renderer';
-import { PreferenceLeafNodeRendererContribution } from './preference-node-renderer-creator';
-export declare class PreferenceStringInputRenderer extends PreferenceLeafNodeRenderer<string, HTMLInputElement> {
-    protected createInteractable(parent: HTMLElement): void;
-    protected getFallbackValue(): string;
-    protected doHandleValueChange(): void;
-    protected handleUserInteraction(): void;
-    protected handleBlur(): Promise<void>;
-}
-export declare class PreferenceStringInputRendererContribution extends PreferenceLeafNodeRendererContribution {
-    static ID: string;
-    id: string;
-    canHandleLeafNode(node: Preference.LeafNode): number;
-    createLeafNodeRenderer(container: interfaces.Container): PreferenceNodeRenderer;
-}
+import { interfaces } from '@theia/core/shared/inversify';
+import { Preference } from '../../util/preference-types';
+import { PreferenceLeafNodeRenderer, PreferenceNodeRenderer } from './preference-node-renderer';
+import { PreferenceLeafNodeRendererContribution } from './preference-node-renderer-creator';
+export declare class PreferenceStringInputRenderer extends PreferenceLeafNodeRenderer<string, HTMLInputElement> {
+    protected createInteractable(parent: HTMLElement): void;
+    protected getFallbackValue(): string;
+    protected doHandleValueChange(): void;
+    protected handleUserInteraction(): void;
+    protected handleBlur(): Promise<void>;
+}
+export declare class PreferenceStringInputRendererContribution extends PreferenceLeafNodeRendererContribution {
+    static ID: string;
+    id: string;
+    canHandleLeafNode(node: Preference.LeafNode): number;
+    createLeafNodeRenderer(container: interfaces.Container): PreferenceNodeRenderer;
+}
 //# sourceMappingURL=preference-string-input.d.ts.map

package/lib/browser/views/components/preference-string-input.js

@@ -1,90 +1,90 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2021 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 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 PreferenceStringInputRendererContribution_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PreferenceStringInputRendererContribution = exports.PreferenceStringInputRenderer = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const preference_types_1 = require("../../util/preference-types");
-const preference_node_renderer_1 = require("./preference-node-renderer");
-const preference_node_renderer_creator_1 = require("./preference-node-renderer-creator");
-let PreferenceStringInputRenderer = class PreferenceStringInputRenderer extends preference_node_renderer_1.PreferenceLeafNodeRenderer {
-    createInteractable(parent) {
-        var _a;
-        const interactable = document.createElement('input');
-        this.interactable = interactable;
-        interactable.type = 'text';
-        interactable.spellcheck = false;
-        interactable.classList.add('theia-input');
-        interactable.defaultValue = (_a = this.getValue()) !== null && _a !== void 0 ? _a : '';
-        interactable.oninput = this.handleUserInteraction.bind(this);
-        interactable.onblur = this.handleBlur.bind(this);
-        parent.appendChild(interactable);
-    }
-    getFallbackValue() {
-        return '';
-    }
-    doHandleValueChange() {
-        var _a;
-        const currentValue = this.interactable.value;
-        this.updateInspection();
-        const newValue = (_a = this.getValue()) !== null && _a !== void 0 ? _a : '';
-        this.updateModificationStatus(newValue);
-        if (newValue !== currentValue) {
-            if (document.activeElement !== this.interactable) {
-                this.interactable.value = newValue;
-            }
-            else {
-                this.handleUserInteraction(); // give priority to the value of the input if it is focused.
-            }
-        }
-    }
-    handleUserInteraction() {
-        this.setPreferenceWithDebounce(this.interactable.value);
-    }
-    async handleBlur() {
-        await this.setPreferenceWithDebounce.flush();
-        this.handleValueChange();
-    }
-};
-PreferenceStringInputRenderer = __decorate([
-    (0, inversify_1.injectable)()
-], PreferenceStringInputRenderer);
-exports.PreferenceStringInputRenderer = PreferenceStringInputRenderer;
-let PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution_1 = class PreferenceStringInputRendererContribution extends preference_node_renderer_creator_1.PreferenceLeafNodeRendererContribution {
-    constructor() {
-        super(...arguments);
-        this.id = PreferenceStringInputRendererContribution_1.ID;
-    }
-    canHandleLeafNode(node) {
-        return preference_types_1.Preference.LeafNode.getType(node) === 'string' ? 2 : 0;
-    }
-    createLeafNodeRenderer(container) {
-        return container.get(PreferenceStringInputRenderer);
-    }
-};
-PreferenceStringInputRendererContribution.ID = 'preference-string-input-renderer';
-PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution_1 = __decorate([
-    (0, inversify_1.injectable)()
-], PreferenceStringInputRendererContribution);
-exports.PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2021 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 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 PreferenceStringInputRendererContribution_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PreferenceStringInputRendererContribution = exports.PreferenceStringInputRenderer = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const preference_types_1 = require("../../util/preference-types");
+const preference_node_renderer_1 = require("./preference-node-renderer");
+const preference_node_renderer_creator_1 = require("./preference-node-renderer-creator");
+let PreferenceStringInputRenderer = class PreferenceStringInputRenderer extends preference_node_renderer_1.PreferenceLeafNodeRenderer {
+    createInteractable(parent) {
+        var _a;
+        const interactable = document.createElement('input');
+        this.interactable = interactable;
+        interactable.type = 'text';
+        interactable.spellcheck = false;
+        interactable.classList.add('theia-input');
+        interactable.defaultValue = (_a = this.getValue()) !== null && _a !== void 0 ? _a : '';
+        interactable.oninput = this.handleUserInteraction.bind(this);
+        interactable.onblur = this.handleBlur.bind(this);
+        parent.appendChild(interactable);
+    }
+    getFallbackValue() {
+        return '';
+    }
+    doHandleValueChange() {
+        var _a;
+        const currentValue = this.interactable.value;
+        this.updateInspection();
+        const newValue = (_a = this.getValue()) !== null && _a !== void 0 ? _a : '';
+        this.updateModificationStatus(newValue);
+        if (newValue !== currentValue) {
+            if (document.activeElement !== this.interactable) {
+                this.interactable.value = newValue;
+            }
+            else {
+                this.handleUserInteraction(); // give priority to the value of the input if it is focused.
+            }
+        }
+    }
+    handleUserInteraction() {
+        this.setPreferenceWithDebounce(this.interactable.value);
+    }
+    async handleBlur() {
+        await this.setPreferenceWithDebounce.flush();
+        this.handleValueChange();
+    }
+};
+PreferenceStringInputRenderer = __decorate([
+    (0, inversify_1.injectable)()
+], PreferenceStringInputRenderer);
+exports.PreferenceStringInputRenderer = PreferenceStringInputRenderer;
+let PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution_1 = class PreferenceStringInputRendererContribution extends preference_node_renderer_creator_1.PreferenceLeafNodeRendererContribution {
+    constructor() {
+        super(...arguments);
+        this.id = PreferenceStringInputRendererContribution_1.ID;
+    }
+    canHandleLeafNode(node) {
+        return preference_types_1.Preference.LeafNode.getType(node) === 'string' ? 2 : 0;
+    }
+    createLeafNodeRenderer(container) {
+        return container.get(PreferenceStringInputRenderer);
+    }
+};
+PreferenceStringInputRendererContribution.ID = 'preference-string-input-renderer';
+PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution_1 = __decorate([
+    (0, inversify_1.injectable)()
+], PreferenceStringInputRendererContribution);
+exports.PreferenceStringInputRendererContribution = PreferenceStringInputRendererContribution;
 //# sourceMappingURL=preference-string-input.js.map

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

@@ -1,68 +1,68 @@
-/// <reference types="lodash" />
-import { PreferenceService, SelectableTreeNode, StatefulWidget, PreferenceChanges, PreferenceSchemaProvider } from '@theia/core/lib/browser';
-import { BaseWidget } from '@theia/core/lib/browser/widgets/widget';
-import { PreferenceTreeModel, PreferenceFilterChangeEvent } from '../preference-tree-model';
-import { PreferenceNodeRendererFactory, GeneralPreferenceNodeRenderer } from './components/preference-node-renderer';
-import { Preference } from '../util/preference-types';
-import { PreferencesScopeTabBar } from './preference-scope-tabbar-widget';
-import { PreferenceNodeRendererCreatorRegistry } from './components/preference-node-renderer-creator';
-export interface PreferencesEditorState {
-    firstVisibleChildID: string;
-}
-export declare class PreferencesEditorWidget extends BaseWidget implements StatefulWidget {
-    static readonly ID = "settings.editor";
-    static readonly LABEL = "Settings Editor";
-    scrollOptions: import("perfect-scrollbar").default.Options;
-    protected scrollContainer: HTMLDivElement;
-    /**
-     * Guards against scroll events and selection events looping into each other. Set before this widget initiates a selection.
-     */
-    protected currentModelSelectionId: string;
-    /**
-     * Permits the user to expand multiple nodes without each one being collapsed on a new selection.
-     */
-    protected lastUserSelection: string;
-    protected isAtScrollTop: boolean;
-    protected firstVisibleChildID: string;
-    protected renderers: Map<string, GeneralPreferenceNodeRenderer>;
-    protected preferenceDataKeys: Map<string, string>;
-    protected commonlyUsedRenderers: Map<string, GeneralPreferenceNodeRenderer>;
-    protected readonly preferenceService: PreferenceService;
-    protected readonly model: PreferenceTreeModel;
-    protected readonly rendererFactory: PreferenceNodeRendererFactory;
-    protected readonly rendererRegistry: PreferenceNodeRendererCreatorRegistry;
-    protected readonly schemaProvider: PreferenceSchemaProvider;
-    protected readonly tabbar: PreferencesScopeTabBar;
-    protected init(): Promise<void>;
-    protected createContainers(): void;
-    protected handleDisplayChange(e: PreferenceFilterChangeEvent): void;
-    protected handleRegistryChange(): void;
-    protected handleSchemaChange(isFiltered: boolean): void;
-    protected handleScopeChange(isFiltered?: boolean): void;
-    protected hasSchemaChanged(leafNode: Preference.LeafNode): boolean;
-    protected setSchemaPropertyKey(leafNode: Preference.LeafNode): string | undefined;
-    protected handleSearchChange(isFiltered: boolean, leavesAreVisible: boolean): void;
-    protected areLeavesVisible(): boolean;
-    protected allRenderers(): IterableIterator<[string, GeneralPreferenceNodeRenderer, Map<string, GeneralPreferenceNodeRenderer>]>;
-    protected handlePreferenceChanges(e: PreferenceChanges): void;
-    /**
-     * @returns true if the renderer is hidden, false otherwise.
-     */
-    protected hideIfFailsFilters(renderer: GeneralPreferenceNodeRenderer, isFiltered: boolean): boolean;
-    protected resetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void;
-    protected doResetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void;
-    protected doOnScroll(): void;
-    onScroll: import("lodash").DebouncedFunc<any>;
-    protected findFirstVisibleChildID(): string | undefined;
-    protected setFirstVisibleChildID(id?: string): void;
-    protected handleSelectionChange(selectionEvent: readonly Readonly<SelectableTreeNode>[]): void;
-    protected analyzeIDAndGetRendererGroup(nodeID: string): {
-        id: string;
-        group: string;
-        collection: Map<string, GeneralPreferenceNodeRenderer>;
-    };
-    protected getScrollContainer(): HTMLElement;
-    storeState(): PreferencesEditorState;
-    restoreState(oldState: PreferencesEditorState): void;
-}
+/// <reference types="lodash" />
+import { PreferenceService, SelectableTreeNode, StatefulWidget, PreferenceChanges, PreferenceSchemaProvider } from '@theia/core/lib/browser';
+import { BaseWidget } from '@theia/core/lib/browser/widgets/widget';
+import { PreferenceTreeModel, PreferenceFilterChangeEvent } from '../preference-tree-model';
+import { PreferenceNodeRendererFactory, GeneralPreferenceNodeRenderer } from './components/preference-node-renderer';
+import { Preference } from '../util/preference-types';
+import { PreferencesScopeTabBar } from './preference-scope-tabbar-widget';
+import { PreferenceNodeRendererCreatorRegistry } from './components/preference-node-renderer-creator';
+export interface PreferencesEditorState {
+    firstVisibleChildID: string;
+}
+export declare class PreferencesEditorWidget extends BaseWidget implements StatefulWidget {
+    static readonly ID = "settings.editor";
+    static readonly LABEL = "Settings Editor";
+    scrollOptions: import("perfect-scrollbar").default.Options;
+    protected scrollContainer: HTMLDivElement;
+    /**
+     * Guards against scroll events and selection events looping into each other. Set before this widget initiates a selection.
+     */
+    protected currentModelSelectionId: string;
+    /**
+     * Permits the user to expand multiple nodes without each one being collapsed on a new selection.
+     */
+    protected lastUserSelection: string;
+    protected isAtScrollTop: boolean;
+    protected firstVisibleChildID: string;
+    protected renderers: Map<string, GeneralPreferenceNodeRenderer>;
+    protected preferenceDataKeys: Map<string, string>;
+    protected commonlyUsedRenderers: Map<string, GeneralPreferenceNodeRenderer>;
+    protected readonly preferenceService: PreferenceService;
+    protected readonly model: PreferenceTreeModel;
+    protected readonly rendererFactory: PreferenceNodeRendererFactory;
+    protected readonly rendererRegistry: PreferenceNodeRendererCreatorRegistry;
+    protected readonly schemaProvider: PreferenceSchemaProvider;
+    protected readonly tabbar: PreferencesScopeTabBar;
+    protected init(): Promise<void>;
+    protected createContainers(): void;
+    protected handleDisplayChange(e: PreferenceFilterChangeEvent): void;
+    protected handleRegistryChange(): void;
+    protected handleSchemaChange(isFiltered: boolean): void;
+    protected handleScopeChange(isFiltered?: boolean): void;
+    protected hasSchemaChanged(leafNode: Preference.LeafNode): boolean;
+    protected setSchemaPropertyKey(leafNode: Preference.LeafNode): string | undefined;
+    protected handleSearchChange(isFiltered: boolean, leavesAreVisible: boolean): void;
+    protected areLeavesVisible(): boolean;
+    protected allRenderers(): IterableIterator<[string, GeneralPreferenceNodeRenderer, Map<string, GeneralPreferenceNodeRenderer>]>;
+    protected handlePreferenceChanges(e: PreferenceChanges): void;
+    /**
+     * @returns true if the renderer is hidden, false otherwise.
+     */
+    protected hideIfFailsFilters(renderer: GeneralPreferenceNodeRenderer, isFiltered: boolean): boolean;
+    protected resetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void;
+    protected doResetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void;
+    protected doOnScroll(): void;
+    onScroll: import("lodash").DebouncedFunc<any>;
+    protected findFirstVisibleChildID(): string | undefined;
+    protected setFirstVisibleChildID(id?: string): void;
+    protected handleSelectionChange(selectionEvent: readonly Readonly<SelectableTreeNode>[]): void;
+    protected analyzeIDAndGetRendererGroup(nodeID: string): {
+        id: string;
+        group: string;
+        collection: Map<string, GeneralPreferenceNodeRenderer>;
+    };
+    protected getScrollContainer(): HTMLElement;
+    storeState(): PreferencesEditorState;
+    restoreState(oldState: PreferencesEditorState): void;
+}
 //# sourceMappingURL=preference-editor-widget.d.ts.map