@theia/preferences 1.45.1 → 1.46.0-next.72

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

@@ -1,54 +1,54 @@
-/// <reference types="react" />
-import { ReactWidget, StatefulWidget, Widget } from '@theia/core/lib/browser';
-import * as React from '@theia/core/shared/react';
-import { Emitter } from '@theia/core';
-export interface PreferencesSearchbarState {
-    searchTerm: string;
-}
-export declare class PreferencesSearchbarWidget extends ReactWidget implements StatefulWidget {
-    static readonly ID = "settings.header";
-    static readonly LABEL = "Settings Header";
-    static readonly SEARCHBAR_ID = "preference-searchbar";
-    protected readonly onFilterStringChangedEmitter: Emitter<string>;
-    readonly onFilterChanged: import("@theia/core").Event<string>;
-    protected searchbarRef: React.RefObject<HTMLInputElement>;
-    protected resultsCount: number;
-    constructor(options?: Widget.IOptions);
-    protected init(): void;
-    protected handleSearch: (e: React.ChangeEvent<HTMLInputElement>) => Promise<void>;
-    protected search: (value: string) => Promise<void>;
-    focus(): void;
-    /**
-     * Clears the search input and all search results.
-     * @param e on-click mouse event.
-     */
-    protected clearSearchResults: (e: React.MouseEvent) => Promise<void>;
-    /**
-     * Renders all search bar options.
-     */
-    protected renderOptionContainer(): React.ReactNode;
-    /**
-     * Renders a badge displaying search results count.
-     */
-    protected renderResultsCountOption(): React.ReactNode;
-    /**
-     * Renders a clear all button.
-     */
-    protected renderClearAllOption(): React.ReactNode;
-    /**
-     * Determines whether the search input currently has a value.
-     * @returns true, if the search input currently has a value; false, otherwise.
-     */
-    protected searchTermExists(): boolean;
-    protected getSearchTerm(): string;
-    updateSearchTerm(searchTerm: string): Promise<void>;
-    render(): React.ReactNode;
-    /**
-     * Updates the search result count.
-     * @param count the result count.
-     */
-    updateResultsCount(count: number): void;
-    storeState(): PreferencesSearchbarState;
-    restoreState(oldState: PreferencesSearchbarState): void;
-}
+/// <reference types="react" />
+import { ReactWidget, StatefulWidget, Widget } from '@theia/core/lib/browser';
+import * as React from '@theia/core/shared/react';
+import { Emitter } from '@theia/core';
+export interface PreferencesSearchbarState {
+    searchTerm: string;
+}
+export declare class PreferencesSearchbarWidget extends ReactWidget implements StatefulWidget {
+    static readonly ID = "settings.header";
+    static readonly LABEL = "Settings Header";
+    static readonly SEARCHBAR_ID = "preference-searchbar";
+    protected readonly onFilterStringChangedEmitter: Emitter<string>;
+    readonly onFilterChanged: import("@theia/core").Event<string>;
+    protected searchbarRef: React.RefObject<HTMLInputElement>;
+    protected resultsCount: number;
+    constructor(options?: Widget.IOptions);
+    protected init(): void;
+    protected handleSearch: (e: React.ChangeEvent<HTMLInputElement>) => Promise<void>;
+    protected search: (value: string) => Promise<void>;
+    focus(): void;
+    /**
+     * Clears the search input and all search results.
+     * @param e on-click mouse event.
+     */
+    protected clearSearchResults: (e: React.MouseEvent) => Promise<void>;
+    /**
+     * Renders all search bar options.
+     */
+    protected renderOptionContainer(): React.ReactNode;
+    /**
+     * Renders a badge displaying search results count.
+     */
+    protected renderResultsCountOption(): React.ReactNode;
+    /**
+     * Renders a clear all button.
+     */
+    protected renderClearAllOption(): React.ReactNode;
+    /**
+     * Determines whether the search input currently has a value.
+     * @returns true, if the search input currently has a value; false, otherwise.
+     */
+    protected searchTermExists(): boolean;
+    protected getSearchTerm(): string;
+    updateSearchTerm(searchTerm: string): Promise<void>;
+    render(): React.ReactNode;
+    /**
+     * Updates the search result count.
+     * @param count the result count.
+     */
+    updateResultsCount(count: number): void;
+    storeState(): PreferencesSearchbarState;
+    restoreState(oldState: PreferencesSearchbarState): void;
+}
 //# sourceMappingURL=preference-searchbar-widget.d.ts.map

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

@@ -1,174 +1,174 @@
-"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 __param = (this && this.__param) || function (paramIndex, decorator) {
-    return function (target, key) { decorator(target, key, paramIndex); }
-};
-var PreferencesSearchbarWidget_1;
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PreferencesSearchbarWidget = void 0;
-const browser_1 = require("@theia/core/lib/browser");
-const inversify_1 = require("@theia/core/shared/inversify");
-const React = require("@theia/core/shared/react");
-const debounce = require("p-debounce");
-const core_1 = require("@theia/core");
-const nls_1 = require("@theia/core/lib/common/nls");
-let PreferencesSearchbarWidget = PreferencesSearchbarWidget_1 = class PreferencesSearchbarWidget extends browser_1.ReactWidget {
-    constructor(options) {
-        super(options);
-        this.onFilterStringChangedEmitter = new core_1.Emitter();
-        this.onFilterChanged = this.onFilterStringChangedEmitter.event;
-        this.searchbarRef = React.createRef();
-        this.resultsCount = 0;
-        this.handleSearch = (e) => this.search(e.target.value);
-        this.search = debounce(async (value) => {
-            this.onFilterStringChangedEmitter.fire(value);
-            this.update();
-        }, 200);
-        /**
-         * Clears the search input and all search results.
-         * @param e on-click mouse event.
-         */
-        this.clearSearchResults = async (e) => {
-            const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
-            if (search) {
-                search.value = '';
-                await this.search(search.value);
-                this.update();
-            }
-        };
-        this.focus = this.focus.bind(this);
-    }
-    init() {
-        this.id = PreferencesSearchbarWidget_1.ID;
-        this.title.label = PreferencesSearchbarWidget_1.LABEL;
-        this.update();
-    }
-    focus() {
-        if (this.searchbarRef.current) {
-            this.searchbarRef.current.focus();
-        }
-    }
-    /**
-     * Renders all search bar options.
-     */
-    renderOptionContainer() {
-        const resultsCount = this.renderResultsCountOption();
-        const clearAllOption = this.renderClearAllOption();
-        return React.createElement("div", { className: "option-buttons" },
-            " ",
-            resultsCount,
-            " ",
-            clearAllOption,
-            " ");
-    }
-    /**
-     * Renders a badge displaying search results count.
-     */
-    renderResultsCountOption() {
-        let resultsFound;
-        if (this.resultsCount === 0) {
-            resultsFound = nls_1.nls.localizeByDefault('No Settings Found');
-        }
-        else if (this.resultsCount === 1) {
-            resultsFound = nls_1.nls.localizeByDefault('1 Setting Found');
-        }
-        else {
-            resultsFound = nls_1.nls.localizeByDefault('{0} Settings Found', this.resultsCount.toFixed(0));
-        }
-        return this.searchTermExists() ?
-            (React.createElement("span", { className: "results-found", title: resultsFound }, resultsFound))
-            : '';
-    }
-    /**
-     * Renders a clear all button.
-     */
-    renderClearAllOption() {
-        return React.createElement("span", { className: `${(0, browser_1.codicon)('clear-all')} option ${(this.searchTermExists() ? 'enabled' : '')}`, title: nls_1.nls.localizeByDefault('Clear Search Results'), onClick: this.clearSearchResults });
-    }
-    /**
-     * Determines whether the search input currently has a value.
-     * @returns true, if the search input currently has a value; false, otherwise.
-     */
-    searchTermExists() {
-        var _a;
-        return !!((_a = this.searchbarRef.current) === null || _a === void 0 ? void 0 : _a.value);
-    }
-    getSearchTerm() {
-        const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
-        return search === null || search === void 0 ? void 0 : search.value;
-    }
-    async updateSearchTerm(searchTerm) {
-        const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
-        if (!search || search.value === searchTerm) {
-            return;
-        }
-        search.value = searchTerm;
-        await this.search(search.value);
-        this.update();
-    }
-    render() {
-        const optionContainer = this.renderOptionContainer();
-        return (React.createElement("div", { className: 'settings-header' },
-            React.createElement("div", { className: "settings-search-container", ref: this.focus },
-                React.createElement("input", { type: "text", id: PreferencesSearchbarWidget_1.SEARCHBAR_ID, spellCheck: false, placeholder: nls_1.nls.localizeByDefault('Search settings'), className: "settings-search-input theia-input", onChange: this.handleSearch, ref: this.searchbarRef }),
-                optionContainer)));
-    }
-    /**
-     * Updates the search result count.
-     * @param count the result count.
-     */
-    updateResultsCount(count) {
-        this.resultsCount = count;
-        this.update();
-    }
-    storeState() {
-        return {
-            searchTerm: this.getSearchTerm()
-        };
-    }
-    restoreState(oldState) {
-        const searchInputExists = this.onDidChangeVisibility(() => {
-            this.updateSearchTerm(oldState.searchTerm || '');
-            searchInputExists.dispose();
-        });
-    }
-};
-PreferencesSearchbarWidget.ID = 'settings.header';
-PreferencesSearchbarWidget.LABEL = 'Settings Header';
-PreferencesSearchbarWidget.SEARCHBAR_ID = 'preference-searchbar';
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], PreferencesSearchbarWidget.prototype, "init", null);
-PreferencesSearchbarWidget = PreferencesSearchbarWidget_1 = __decorate([
-    (0, inversify_1.injectable)(),
-    __param(0, (0, inversify_1.unmanaged)()),
-    __metadata("design:paramtypes", [Object])
-], PreferencesSearchbarWidget);
-exports.PreferencesSearchbarWidget = PreferencesSearchbarWidget;
+"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 __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+var PreferencesSearchbarWidget_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PreferencesSearchbarWidget = void 0;
+const browser_1 = require("@theia/core/lib/browser");
+const inversify_1 = require("@theia/core/shared/inversify");
+const React = require("@theia/core/shared/react");
+const debounce = require("p-debounce");
+const core_1 = require("@theia/core");
+const nls_1 = require("@theia/core/lib/common/nls");
+let PreferencesSearchbarWidget = PreferencesSearchbarWidget_1 = class PreferencesSearchbarWidget extends browser_1.ReactWidget {
+    constructor(options) {
+        super(options);
+        this.onFilterStringChangedEmitter = new core_1.Emitter();
+        this.onFilterChanged = this.onFilterStringChangedEmitter.event;
+        this.searchbarRef = React.createRef();
+        this.resultsCount = 0;
+        this.handleSearch = (e) => this.search(e.target.value);
+        this.search = debounce(async (value) => {
+            this.onFilterStringChangedEmitter.fire(value);
+            this.update();
+        }, 200);
+        /**
+         * Clears the search input and all search results.
+         * @param e on-click mouse event.
+         */
+        this.clearSearchResults = async (e) => {
+            const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
+            if (search) {
+                search.value = '';
+                await this.search(search.value);
+                this.update();
+            }
+        };
+        this.focus = this.focus.bind(this);
+    }
+    init() {
+        this.id = PreferencesSearchbarWidget_1.ID;
+        this.title.label = PreferencesSearchbarWidget_1.LABEL;
+        this.update();
+    }
+    focus() {
+        if (this.searchbarRef.current) {
+            this.searchbarRef.current.focus();
+        }
+    }
+    /**
+     * Renders all search bar options.
+     */
+    renderOptionContainer() {
+        const resultsCount = this.renderResultsCountOption();
+        const clearAllOption = this.renderClearAllOption();
+        return React.createElement("div", { className: "option-buttons" },
+            " ",
+            resultsCount,
+            " ",
+            clearAllOption,
+            " ");
+    }
+    /**
+     * Renders a badge displaying search results count.
+     */
+    renderResultsCountOption() {
+        let resultsFound;
+        if (this.resultsCount === 0) {
+            resultsFound = nls_1.nls.localizeByDefault('No Settings Found');
+        }
+        else if (this.resultsCount === 1) {
+            resultsFound = nls_1.nls.localizeByDefault('1 Setting Found');
+        }
+        else {
+            resultsFound = nls_1.nls.localizeByDefault('{0} Settings Found', this.resultsCount.toFixed(0));
+        }
+        return this.searchTermExists() ?
+            (React.createElement("span", { className: "results-found", title: resultsFound }, resultsFound))
+            : '';
+    }
+    /**
+     * Renders a clear all button.
+     */
+    renderClearAllOption() {
+        return React.createElement("span", { className: `${(0, browser_1.codicon)('clear-all')} option ${(this.searchTermExists() ? 'enabled' : '')}`, title: nls_1.nls.localizeByDefault('Clear Search Results'), onClick: this.clearSearchResults });
+    }
+    /**
+     * Determines whether the search input currently has a value.
+     * @returns true, if the search input currently has a value; false, otherwise.
+     */
+    searchTermExists() {
+        var _a;
+        return !!((_a = this.searchbarRef.current) === null || _a === void 0 ? void 0 : _a.value);
+    }
+    getSearchTerm() {
+        const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
+        return search === null || search === void 0 ? void 0 : search.value;
+    }
+    async updateSearchTerm(searchTerm) {
+        const search = document.getElementById(PreferencesSearchbarWidget_1.SEARCHBAR_ID);
+        if (!search || search.value === searchTerm) {
+            return;
+        }
+        search.value = searchTerm;
+        await this.search(search.value);
+        this.update();
+    }
+    render() {
+        const optionContainer = this.renderOptionContainer();
+        return (React.createElement("div", { className: 'settings-header' },
+            React.createElement("div", { className: "settings-search-container", ref: this.focus },
+                React.createElement("input", { type: "text", id: PreferencesSearchbarWidget_1.SEARCHBAR_ID, spellCheck: false, placeholder: nls_1.nls.localizeByDefault('Search settings'), className: "settings-search-input theia-input", onChange: this.handleSearch, ref: this.searchbarRef }),
+                optionContainer)));
+    }
+    /**
+     * Updates the search result count.
+     * @param count the result count.
+     */
+    updateResultsCount(count) {
+        this.resultsCount = count;
+        this.update();
+    }
+    storeState() {
+        return {
+            searchTerm: this.getSearchTerm()
+        };
+    }
+    restoreState(oldState) {
+        const searchInputExists = this.onDidChangeVisibility(() => {
+            this.updateSearchTerm(oldState.searchTerm || '');
+            searchInputExists.dispose();
+        });
+    }
+};
+PreferencesSearchbarWidget.ID = 'settings.header';
+PreferencesSearchbarWidget.LABEL = 'Settings Header';
+PreferencesSearchbarWidget.SEARCHBAR_ID = 'preference-searchbar';
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], PreferencesSearchbarWidget.prototype, "init", null);
+PreferencesSearchbarWidget = PreferencesSearchbarWidget_1 = __decorate([
+    (0, inversify_1.injectable)(),
+    __param(0, (0, inversify_1.unmanaged)()),
+    __metadata("design:paramtypes", [Object])
+], PreferencesSearchbarWidget);
+exports.PreferencesSearchbarWidget = PreferencesSearchbarWidget;
 //# sourceMappingURL=preference-searchbar-widget.js.map

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

@@ -1,18 +1,18 @@
-/// <reference types="react" />
-import { TreeNode, TreeProps, TreeWidget } from '@theia/core/lib/browser';
-import React = require('@theia/core/shared/react');
-import { PreferenceTreeModel, PreferenceTreeNodeRow, PreferenceTreeNodeProps } from '../preference-tree-model';
-export declare class PreferencesTreeWidget extends TreeWidget {
-    static ID: string;
-    protected shouldFireSelectionEvents: boolean;
-    protected firstVisibleLeafNodeID: string;
-    readonly model: PreferenceTreeModel;
-    protected readonly treeProps: TreeProps;
-    init(): void;
-    doUpdateRows(): void;
-    protected doRenderNodeRow({ depth, visibleChildren, node, isExpansible }: PreferenceTreeNodeRow): React.ReactNode;
-    protected renderNode(node: TreeNode, props: PreferenceTreeNodeProps): React.ReactNode;
-    protected renderExpansionToggle(node: TreeNode, props: PreferenceTreeNodeProps): React.ReactNode;
-    protected toNodeName(node: TreeNode): string;
-}
+/// <reference types="react" />
+import { TreeNode, TreeProps, TreeWidget } from '@theia/core/lib/browser';
+import React = require('@theia/core/shared/react');
+import { PreferenceTreeModel, PreferenceTreeNodeRow, PreferenceTreeNodeProps } from '../preference-tree-model';
+export declare class PreferencesTreeWidget extends TreeWidget {
+    static ID: string;
+    protected shouldFireSelectionEvents: boolean;
+    protected firstVisibleLeafNodeID: string;
+    readonly model: PreferenceTreeModel;
+    protected readonly treeProps: TreeProps;
+    init(): void;
+    doUpdateRows(): void;
+    protected doRenderNodeRow({ depth, visibleChildren, node, isExpansible }: PreferenceTreeNodeRow): React.ReactNode;
+    protected renderNode(node: TreeNode, props: PreferenceTreeNodeProps): React.ReactNode;
+    protected renderExpansionToggle(node: TreeNode, props: PreferenceTreeNodeProps): React.ReactNode;
+    protected toNodeName(node: TreeNode): string;
+}
 //# sourceMappingURL=preference-tree-widget.d.ts.map