@theia/core 1.67.0-next.56 → 1.67.0-next.59

package/lib/browser/tree/fuzzy-search.spec.js

@@ -0,0 +1,90 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const fuzzy_search_1 = require("./fuzzy-search");
+describe('fuzzy-search', () => {
+    [
+        {
+            pattern: 'a',
+            items: ['alma'],
+            expected: [
+                {
+                    item: 'alma',
+                    ranges: [
+                        { offset: 0, length: 1 }
+                    ]
+                }
+            ]
+        },
+        {
+            pattern: 'a',
+            items: ['körte'],
+            expected: []
+        },
+        {
+            pattern: 'bcn',
+            items: ['baconing', 'narwhal', 'a mighty bear canoe'],
+            expected: [
+                {
+                    item: 'baconing',
+                    ranges: [
+                        { offset: 0, length: 1 },
+                        { offset: 2, length: 1 },
+                        { offset: 4, length: 1 }
+                    ]
+                },
+                {
+                    item: 'a mighty bear canoe',
+                    ranges: [
+                        { offset: 9, length: 1 },
+                        { offset: 14, length: 1 },
+                        { offset: 16, length: 1 }
+                    ]
+                }
+            ]
+        }
+    ].forEach(test => {
+        const { pattern, items, expected } = test;
+        it(`should match ${expected.length} item${expected.length === 1 ? '' : 's'} when filtering [${items.join(', ')}] with pattern: '${pattern}'`, async () => {
+            expectSearch(await search(pattern, items), expected);
+        });
+    });
+    [
+        ['con', ['configs', 'base.tsconfig.json', 'tsconfig.json', 'base.nyc.json', 'CONTRIBUTING.MD']],
+        ['bcn', ['baconing', 'narwhal', 'a mighty bear canoe'], ['baconing', 'a mighty bear canoe']]
+    ].forEach(test => {
+        const [pattern, items, expected] = test;
+        it(`should match the order of items after the filtering with pattern: '${pattern}'`, async () => {
+            expectOrder(await search(pattern, items), expected || items);
+        });
+    });
+    function expectOrder(actual, expected) {
+        (0, chai_1.expect)(actual.map(result => result.item)).to.be.deep.equal(expected);
+    }
+    function expectSearch(actual, expected) {
+        (0, chai_1.expect)(actual).to.be.deep.equal(expected);
+    }
+    async function search(pattern, items) {
+        return new fuzzy_search_1.FuzzySearch().filter({
+            items,
+            pattern,
+            transform: arg => arg
+        });
+    }
+});
+//# sourceMappingURL=fuzzy-search.spec.js.map

package/lib/browser/tree/fuzzy-search.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzzy-search.spec.js","sourceRoot":"","sources":["../../../src/browser/tree/fuzzy-search.spec.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;AAEhF,+BAA8B;AAC9B,iDAA6C;AAE7C,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAEzB;QACG;YACI,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,CAAC,MAAM,CAAC;YACf,QAAQ,EAAE;gBACN;oBACI,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE;wBACJ,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;qBAC3B;iBACJ;aACJ;SACJ;QACD;YACI,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,CAAC,OAAO,CAAC;YAChB,QAAQ,EAAE,EAAE;SACf;QACD;YACI,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,qBAAqB,CAAC;YACrD,QAAQ,EAAE;gBACN;oBACI,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACJ,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;wBACxB,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;wBACxB,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;qBAC3B;iBACJ;gBACD;oBACI,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE;wBACJ,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;wBACxB,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;wBACzB,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;qBAC5B;iBACJ;aACJ;SACJ;KAKD,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAChB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAC1C,EAAE,CAAC,gBAAgB,QAAQ,CAAC,MAAM,QAAQ,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,OAAO,GAAG,EAAE,KAAK,IAAI,EAAE;YACrJ,YAAY,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEF;QACG,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,oBAAoB,EAAE,eAAe,EAAE,eAAe,EAAE,iBAAiB,CAAC,CAAC;QAC/F,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,qBAAqB,CAAC,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;KAC1D,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAClD,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC;QACxC,EAAE,CAAC,sEAAsE,OAAO,GAAG,EAAE,KAAK,IAAI,EAAE;YAC5F,WAAW,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,QAAQ,IAAI,KAAK,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,SAAS,WAAW,CAAC,MAAmC,EAAE,QAAkB;QACxE,IAAA,aAAM,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED,SAAS,YAAY,CAAC,MAAmC,EAAE,QAAqC;QAC5F,IAAA,aAAM,EAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,UAAU,MAAM,CAAC,OAAe,EAAE,KAAe;QAClD,OAAO,IAAI,0BAAW,EAAE,CAAC,MAAM,CAAC;YAC5B,KAAK;YACL,OAAO;YACP,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG;SACxB,CAAC,CAAC;IACP,CAAC;AAEL,CAAC,CAAC,CAAC"}

package/lib/browser/tree/index.d.ts

@@ -0,0 +1,13 @@
+export * from './tree';
+export * from './tree-selection';
+export * from './tree-expansion';
+export * from './tree-navigation';
+export * from './tree-iterator';
+export * from './tree-model';
+export * from './tree-widget';
+export * from './tree-view-welcome-widget';
+export * from './tree-container';
+export * from './tree-decorator';
+export * from './tree-search';
+export * from './tree-compression';
+//# sourceMappingURL=index.d.ts.map

package/lib/browser/tree/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/browser/tree/index.ts"],"names":[],"mappings":"AAgBA,cAAc,QAAQ,CAAC;AACvB,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC"}

package/lib/browser/tree/index.js

@@ -0,0 +1,31 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+const tslib_1 = require("tslib");
+tslib_1.__exportStar(require("./tree"), exports);
+tslib_1.__exportStar(require("./tree-selection"), exports);
+tslib_1.__exportStar(require("./tree-expansion"), exports);
+tslib_1.__exportStar(require("./tree-navigation"), exports);
+tslib_1.__exportStar(require("./tree-iterator"), exports);
+tslib_1.__exportStar(require("./tree-model"), exports);
+tslib_1.__exportStar(require("./tree-widget"), exports);
+tslib_1.__exportStar(require("./tree-view-welcome-widget"), exports);
+tslib_1.__exportStar(require("./tree-container"), exports);
+tslib_1.__exportStar(require("./tree-decorator"), exports);
+tslib_1.__exportStar(require("./tree-search"), exports);
+tslib_1.__exportStar(require("./tree-compression"), exports);
+//# sourceMappingURL=index.js.map

package/lib/browser/tree/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/browser/tree/index.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,iDAAuB;AACvB,2DAAiC;AACjC,2DAAiC;AACjC,4DAAkC;AAClC,0DAAgC;AAChC,uDAA6B;AAC7B,wDAA8B;AAC9B,qEAA2C;AAC3C,2DAAiC;AACjC,2DAAiC;AACjC,wDAA8B;AAC9B,6DAAmC"}

package/lib/browser/tree/search-box-debounce.d.ts

@@ -0,0 +1,34 @@
+import { Event, Emitter } from '../../common/event';
+import { Disposable, DisposableCollection } from '../../common/disposable';
+/**
+ * Options for the search term debounce.
+ */
+export interface SearchBoxDebounceOptions {
+    /**
+     * The delay (in milliseconds) before the debounce notifies clients about its content change.
+     */
+    readonly delay: number;
+}
+export declare namespace SearchBoxDebounceOptions {
+    /**
+     * The default debounce option.
+     */
+    const DEFAULT: SearchBoxDebounceOptions;
+}
+/**
+ * It notifies the clients, once if the underlying search term has changed after a given amount of delay.
+ */
+export declare class SearchBoxDebounce implements Disposable {
+    protected readonly options: SearchBoxDebounceOptions;
+    protected readonly disposables: DisposableCollection;
+    protected readonly emitter: Emitter<string | undefined>;
+    protected readonly handler: () => void;
+    protected state: string | undefined;
+    constructor(options: SearchBoxDebounceOptions);
+    append(input: string | undefined): string | undefined;
+    get onChanged(): Event<string | undefined>;
+    dispose(): void;
+    protected fireChanged(value: string | undefined): void;
+    protected reset(): void;
+}
+//# sourceMappingURL=search-box-debounce.d.ts.map

package/lib/browser/tree/search-box-debounce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-box-debounce.d.ts","sourceRoot":"","sources":["../../../src/browser/tree/search-box-debounce.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAI3E;;GAEG;AACH,MAAM,WAAW,wBAAwB;IAErC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAE1B;AAED,yBAAiB,wBAAwB,CAAC;IAEtC;;OAEG;IACI,MAAM,OAAO,EAAE,wBAErB,CAAC;CAEL;AAED;;GAEG;AACH,qBAAa,iBAAkB,YAAW,UAAU;IAQpC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,wBAAwB;IANhE,SAAS,CAAC,QAAQ,CAAC,WAAW,uBAA8B;IAC5D,SAAS,CAAC,QAAQ,CAAC,OAAO,8BAAqC;IAC/D,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;IAEvC,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;gBAEL,OAAO,EAAE,wBAAwB;IAKhE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS;IAkBrD,IAAI,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAEzC;IAED,OAAO,IAAI,IAAI;IAIf,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI;IAItD,SAAS,CAAC,KAAK,IAAI,IAAI;CAK1B"}

package/lib/browser/tree/search-box-debounce.js

@@ -0,0 +1,76 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SearchBoxDebounce = exports.SearchBoxDebounceOptions = void 0;
+const event_1 = require("../../common/event");
+const disposable_1 = require("../../common/disposable");
+const debounce = require("lodash.debounce");
+var SearchBoxDebounceOptions;
+(function (SearchBoxDebounceOptions) {
+    /**
+     * The default debounce option.
+     */
+    SearchBoxDebounceOptions.DEFAULT = {
+        delay: 200
+    };
+})(SearchBoxDebounceOptions || (exports.SearchBoxDebounceOptions = SearchBoxDebounceOptions = {}));
+/**
+ * It notifies the clients, once if the underlying search term has changed after a given amount of delay.
+ */
+class SearchBoxDebounce {
+    constructor(options) {
+        this.options = options;
+        this.disposables = new disposable_1.DisposableCollection();
+        this.emitter = new event_1.Emitter();
+        this.disposables.push(this.emitter);
+        this.handler = debounce(() => this.fireChanged(this.state), this.options.delay).bind(this);
+    }
+    append(input) {
+        if (input === undefined) {
+            this.reset();
+            return undefined;
+        }
+        if (this.state === undefined) {
+            this.state = input;
+        }
+        else {
+            if (input === '\b') {
+                this.state = this.state.length === 1 ? '' : this.state.substring(0, this.state.length - 1);
+            }
+            else {
+                this.state += input;
+            }
+        }
+        this.handler();
+        return this.state;
+    }
+    get onChanged() {
+        return this.emitter.event;
+    }
+    dispose() {
+        this.disposables.dispose();
+    }
+    fireChanged(value) {
+        this.emitter.fire(value);
+    }
+    reset() {
+        this.state = undefined;
+        this.fireChanged(undefined);
+    }
+}
+exports.SearchBoxDebounce = SearchBoxDebounce;
+//# sourceMappingURL=search-box-debounce.js.map

package/lib/browser/tree/search-box-debounce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-box-debounce.js","sourceRoot":"","sources":["../../../src/browser/tree/search-box-debounce.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,8CAAoD;AACpD,wDAA2E;AAE3E,4CAA6C;AAc7C,IAAiB,wBAAwB,CASxC;AATD,WAAiB,wBAAwB;IAErC;;OAEG;IACU,gCAAO,GAA6B;QAC7C,KAAK,EAAE,GAAG;KACb,CAAC;AAEN,CAAC,EATgB,wBAAwB,wCAAxB,wBAAwB,QASxC;AAED;;GAEG;AACH,MAAa,iBAAiB;IAQ1B,YAA+B,OAAiC;QAAjC,YAAO,GAAP,OAAO,CAA0B;QAN7C,gBAAW,GAAG,IAAI,iCAAoB,EAAE,CAAC;QACzC,YAAO,GAAG,IAAI,eAAO,EAAsB,CAAC;QAM3D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,CAAC,KAAyB;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACvB,CAAC;aAAM,CAAC;YACJ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC/F,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;YACxB,CAAC;QACL,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;IAED,IAAI,SAAS;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IAC9B,CAAC;IAED,OAAO;QACH,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;IAC/B,CAAC;IAES,WAAW,CAAC,KAAyB;QAC3C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAES,KAAK;QACX,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAChC,CAAC;CAEJ;AAhDD,8CAgDC"}

package/lib/browser/tree/search-box.d.ts

@@ -0,0 +1,106 @@
+import { SearchBoxDebounce, SearchBoxDebounceOptions } from '../tree/search-box-debounce';
+import { BaseWidget, Message } from '../widgets/widget';
+import { Emitter, Event } from '../../common/event';
+import { KeyCode, Key } from '../keyboard/keys';
+/**
+ * Initializer properties for the search box widget.
+ */
+export interface SearchBoxProps extends SearchBoxDebounceOptions {
+    /**
+     * If `true`, the `Previous`, `Next`, and `Close` buttons will be visible. Otherwise, `false`. Defaults to `false`.
+     */
+    readonly showButtons?: boolean;
+    /**
+     * If `true`, `Filter` and `Close` buttons will be visible, and clicking the `Filter` button will triggers filter on the search term. Defaults to `false`.
+     */
+    readonly showFilter?: boolean;
+}
+export declare namespace SearchBoxProps {
+    /**
+     * The default search box widget option.
+     */
+    const DEFAULT: SearchBoxProps;
+}
+/**
+ * The search box widget.
+ */
+export declare class SearchBox extends BaseWidget {
+    protected readonly props: SearchBoxProps;
+    protected readonly debounce: SearchBoxDebounce;
+    protected static SPECIAL_KEYS: Key[];
+    protected static MAX_CONTENT_LENGTH: number;
+    protected readonly nextEmitter: Emitter<void>;
+    protected readonly previousEmitter: Emitter<void>;
+    protected readonly closeEmitter: Emitter<void>;
+    protected readonly textChangeEmitter: Emitter<string | undefined>;
+    protected readonly filterToggleEmitter: Emitter<boolean>;
+    protected readonly input: HTMLSpanElement;
+    protected readonly filter: HTMLElement | undefined;
+    protected _isFiltering: boolean;
+    constructor(props: SearchBoxProps, debounce: SearchBoxDebounce);
+    get onPrevious(): Event<void>;
+    get onNext(): Event<void>;
+    get onClose(): Event<void>;
+    get onTextChange(): Event<string | undefined>;
+    get onFilterToggled(): Event<boolean>;
+    get isFiltering(): boolean;
+    get keyCodePredicate(): KeyCode.Predicate;
+    protected firePrevious(): void;
+    protected fireNext(): void;
+    protected fireClose(): void;
+    protected fireTextChange(input: string | undefined): void;
+    protected fireFilterToggle(): void;
+    protected doFireFilterToggle(toggleTo?: boolean): void;
+    handle(event: KeyboardEvent): void;
+    protected handleArrowUp(): void;
+    protected handleArrowDown(): void;
+    onBeforeHide(): void;
+    protected handleKey(keyCode: KeyCode): void;
+    protected getTrimmedContent(data: string): string;
+    protected canHandle(keyCode: KeyCode | undefined): boolean;
+    protected isCtrlBackspace(keyCode: KeyCode): boolean;
+    updateHighlightInfo(info: SearchBox.HighlightInfo): void;
+    protected createContent(): {
+        container: HTMLElement;
+        input: HTMLSpanElement;
+        filter: HTMLElement | undefined;
+        previous: HTMLElement | undefined;
+        next: HTMLElement | undefined;
+        close: HTMLElement | undefined;
+    };
+    protected onAfterAttach(msg: Message): void;
+}
+export declare namespace SearchBox {
+    /**
+     * CSS classes for the search box widget.
+     */
+    namespace Styles {
+        const SEARCH_BOX = "theia-search-box";
+        const SEARCH_INPUT = "theia-search-input";
+        const SEARCH_BUTTONS_WRAPPER = "theia-search-buttons-wrapper";
+        const BUTTON = "theia-search-button";
+        const FILTER: string[];
+        const FILTER_ON = "filter-active";
+        const BUTTON_PREVIOUS = "theia-search-button-previous";
+        const BUTTON_NEXT = "theia-search-button-next";
+        const BUTTON_CLOSE = "theia-search-button-close";
+        const NON_SELECTABLE = "theia-non-selectable";
+        const NO_MATCH = "no-match";
+    }
+    interface HighlightInfo {
+        filterText: string | undefined;
+        matched: number;
+        total: number;
+    }
+}
+/**
+ * Search box factory.
+ */
+export declare const SearchBoxFactory: unique symbol;
+export interface SearchBoxFactory {
+    /**
+     * Creates a new search box with the given initializer properties.
+     */
+    (props: SearchBoxProps): SearchBox;
+}
+//# sourceMappingURL=search-box.d.ts.map

package/lib/browser/tree/search-box.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search-box.d.ts","sourceRoot":"","sources":["../../../src/browser/tree/search-box.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAGhD;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,wBAAwB;IAE5D;;OAEG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAE/B;;OAEG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAEjC;AAED,yBAAiB,cAAc,CAAC;IAE5B;;OAEG;IACI,MAAM,OAAO,EAAE,cAAiD,CAAC;CAE3E;AAED;;GAEG;AACH,qBAAa,SAAU,SAAQ,UAAU;IAkBzB,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc;IAChD,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB;IAjBlD,SAAS,CAAC,MAAM,CAAC,YAAY,QAG3B;IAEF,SAAS,CAAC,MAAM,CAAC,kBAAkB,SAAM;IAEzC,SAAS,CAAC,QAAQ,CAAC,WAAW,gBAAuB;IACrD,SAAS,CAAC,QAAQ,CAAC,eAAe,gBAAuB;IACzD,SAAS,CAAC,QAAQ,CAAC,YAAY,gBAAuB;IACtD,SAAS,CAAC,QAAQ,CAAC,iBAAiB,8BAAqC;IACzE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,mBAA0B;IAChE,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAC1C,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;IACnD,SAAS,CAAC,YAAY,EAAE,OAAO,CAAS;gBAET,KAAK,EAAE,cAAc,EAC7B,QAAQ,EAAE,iBAAiB;IAmBlD,IAAI,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,CAE5B;IAED,IAAI,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAExB;IAED,IAAI,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAEzB;IAED,IAAI,YAAY,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAE5C;IAED,IAAI,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC,CAEpC;IAED,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,IAAI,gBAAgB,IAAI,OAAO,CAAC,SAAS,CAExC;IAED,SAAS,CAAC,YAAY,IAAI,IAAI;IAI9B,SAAS,CAAC,QAAQ,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;IAI3B,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI;IAIzD,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAIlC,SAAS,CAAC,kBAAkB,CAAC,QAAQ,GAAE,OAA4B,GAAG,IAAI;IAa1E,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI;IAalC,SAAS,CAAC,aAAa,IAAI,IAAI;IAI/B,SAAS,CAAC,eAAe,IAAI,IAAI;IAIxB,YAAY,IAAI,IAAI;IAO7B,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAW3C,SAAS,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAOjD,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO;IAiB1D,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO;IAOpD,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,GAAG,IAAI;IAUxD,SAAS,CAAC,aAAa,IAAI;QACvB,SAAS,EAAE,WAAW,CAAC;QACvB,KAAK,EAAE,eAAe,CAAC;QACvB,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;QAChC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;QAClC,IAAI,EAAE,WAAW,GAAG,SAAS,CAAC;QAC9B,KAAK,EAAE,WAAW,GAAG,SAAS,CAAA;KACjC;cAsEkB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;CAMvD;AAED,yBAAiB,SAAS,CAAC;IAEvB;;OAEG;IACH,UAAiB,MAAM,CAAC;QAEb,MAAM,UAAU,qBAAqB,CAAC;QACtC,MAAM,YAAY,uBAAuB,CAAC;QAC1C,MAAM,sBAAsB,iCAAiC,CAAC;QAC9D,MAAM,MAAM,wBAAwB,CAAC;QACrC,MAAM,MAAM,UAAgC,CAAC;QAC7C,MAAM,SAAS,kBAAkB,CAAC;QAClC,MAAM,eAAe,iCAAiC,CAAC;QACvD,MAAM,WAAW,6BAA6B,CAAC;QAC/C,MAAM,YAAY,8BAA8B,CAAC;QACjD,MAAM,cAAc,yBAAyB,CAAC;QAC9C,MAAM,QAAQ,aAAa,CAAC;KACtC;IAED,UAAiB,aAAa;QAC1B,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;QAC/B,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,MAAM,CAAA;KAChB;CAEJ;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,eAA6B,CAAC;AAC3D,MAAM,WAAW,gBAAgB;IAE7B;;OAEG;IACH,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,CAAC;CAEtC"}

package/lib/browser/tree/search-box.js

@@ -0,0 +1,266 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 TypeFox 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
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SearchBoxFactory = exports.SearchBox = exports.SearchBoxProps = void 0;
+const search_box_debounce_1 = require("../tree/search-box-debounce");
+const widget_1 = require("../widgets/widget");
+const event_1 = require("../../common/event");
+const keys_1 = require("../keyboard/keys");
+const nls_1 = require("../../common/nls");
+var SearchBoxProps;
+(function (SearchBoxProps) {
+    /**
+     * The default search box widget option.
+     */
+    SearchBoxProps.DEFAULT = search_box_debounce_1.SearchBoxDebounceOptions.DEFAULT;
+})(SearchBoxProps || (exports.SearchBoxProps = SearchBoxProps = {}));
+/**
+ * The search box widget.
+ */
+class SearchBox extends widget_1.BaseWidget {
+    constructor(props, debounce) {
+        super();
+        this.props = props;
+        this.debounce = debounce;
+        this.nextEmitter = new event_1.Emitter();
+        this.previousEmitter = new event_1.Emitter();
+        this.closeEmitter = new event_1.Emitter();
+        this.textChangeEmitter = new event_1.Emitter();
+        this.filterToggleEmitter = new event_1.Emitter();
+        this._isFiltering = false;
+        this.toDispose.pushAll([
+            this.nextEmitter,
+            this.previousEmitter,
+            this.closeEmitter,
+            this.textChangeEmitter,
+            this.filterToggleEmitter,
+            this.debounce,
+            this.debounce.onChanged(data => this.fireTextChange(data))
+        ]);
+        this.hide();
+        this.update();
+        const { input, filter } = this.createContent();
+        this.input = input;
+        this.filter = filter;
+    }
+    get onPrevious() {
+        return this.previousEmitter.event;
+    }
+    get onNext() {
+        return this.nextEmitter.event;
+    }
+    get onClose() {
+        return this.closeEmitter.event;
+    }
+    get onTextChange() {
+        return this.textChangeEmitter.event;
+    }
+    get onFilterToggled() {
+        return this.filterToggleEmitter.event;
+    }
+    get isFiltering() {
+        return this._isFiltering;
+    }
+    get keyCodePredicate() {
+        return this.canHandle.bind(this);
+    }
+    firePrevious() {
+        this.previousEmitter.fire(undefined);
+    }
+    fireNext() {
+        this.nextEmitter.fire(undefined);
+    }
+    fireClose() {
+        this.closeEmitter.fire(undefined);
+    }
+    fireTextChange(input) {
+        this.textChangeEmitter.fire(input);
+    }
+    fireFilterToggle() {
+        this.doFireFilterToggle();
+    }
+    doFireFilterToggle(toggleTo = !this._isFiltering) {
+        if (this.filter) {
+            if (toggleTo) {
+                this.filter.classList.add(SearchBox.Styles.FILTER_ON);
+            }
+            else {
+                this.filter.classList.remove(SearchBox.Styles.FILTER_ON);
+            }
+            this._isFiltering = toggleTo;
+            this.filterToggleEmitter.fire(toggleTo);
+            this.update();
+        }
+    }
+    handle(event) {
+        event.preventDefault();
+        const keyCode = keys_1.KeyCode.createKeyCode(event);
+        if (this.canHandle(keyCode)) {
+            if (keys_1.Key.equals(keys_1.Key.ESCAPE, keyCode) || this.isCtrlBackspace(keyCode)) {
+                this.hide();
+            }
+            else {
+                this.show();
+                this.handleKey(keyCode);
+            }
+        }
+    }
+    handleArrowUp() {
+        this.firePrevious();
+    }
+    handleArrowDown() {
+        this.fireNext();
+    }
+    onBeforeHide() {
+        this.removeClass(SearchBox.Styles.NO_MATCH);
+        this.doFireFilterToggle(false);
+        this.debounce.append(undefined);
+        this.fireClose();
+    }
+    handleKey(keyCode) {
+        const character = keys_1.Key.equals(keys_1.Key.BACKSPACE, keyCode) ? '\b' : keyCode.character;
+        const data = this.debounce.append(character);
+        if (data) {
+            this.input.textContent = this.getTrimmedContent(data);
+            this.update();
+        }
+        else {
+            this.hide();
+        }
+    }
+    getTrimmedContent(data) {
+        if (data.length > SearchBox.MAX_CONTENT_LENGTH) {
+            return '...' + data.substring(data.length - SearchBox.MAX_CONTENT_LENGTH);
+        }
+        return data;
+    }
+    canHandle(keyCode) {
+        if (keyCode === undefined) {
+            return false;
+        }
+        const { ctrl, alt, meta } = keyCode;
+        if (this.isCtrlBackspace(keyCode)) {
+            return true;
+        }
+        if (ctrl || alt || meta || keyCode.key === keys_1.Key.SPACE) {
+            return false;
+        }
+        if (keyCode.character || (this.isVisible && SearchBox.SPECIAL_KEYS.some(key => keys_1.Key.equals(key, keyCode)))) {
+            return true;
+        }
+        return false;
+    }
+    isCtrlBackspace(keyCode) {
+        if (keyCode.ctrl && keys_1.Key.equals(keys_1.Key.BACKSPACE, keyCode)) {
+            return true;
+        }
+        return false;
+    }
+    updateHighlightInfo(info) {
+        if (info.filterText && info.filterText.length > 0) {
+            if (info.matched === 0) {
+                this.addClass(SearchBox.Styles.NO_MATCH);
+            }
+            else {
+                this.removeClass(SearchBox.Styles.NO_MATCH);
+            }
+        }
+    }
+    createContent() {
+        this.node.setAttribute('tabIndex', '0');
+        this.addClass(SearchBox.Styles.SEARCH_BOX);
+        const input = document.createElement('span');
+        input.classList.add(SearchBox.Styles.SEARCH_INPUT);
+        this.node.appendChild(input);
+        const buttons = document.createElement('div');
+        buttons.classList.add(SearchBox.Styles.SEARCH_BUTTONS_WRAPPER);
+        this.node.appendChild(buttons);
+        let filter;
+        if (this.props.showFilter) {
+            filter = document.createElement('div');
+            filter.classList.add(SearchBox.Styles.BUTTON, ...SearchBox.Styles.FILTER);
+            filter.title = nls_1.nls.localizeByDefault('Filter on Type');
+            buttons.appendChild(filter);
+            filter.onclick = this.fireFilterToggle.bind(this);
+        }
+        let previous;
+        let next;
+        let close;
+        if (!!this.props.showButtons) {
+            previous = document.createElement('div');
+            previous.classList.add(SearchBox.Styles.BUTTON, SearchBox.Styles.BUTTON_PREVIOUS);
+            previous.title = nls_1.nls.localize('theia/core/searchbox/previous', 'Previous (Up)');
+            buttons.appendChild(previous);
+            previous.onclick = () => this.firePrevious.bind(this)();
+            next = document.createElement('div');
+            next.classList.add(SearchBox.Styles.BUTTON, SearchBox.Styles.BUTTON_NEXT);
+            next.title = nls_1.nls.localize('theia/core/searchbox/next', 'Next (Down)');
+            buttons.appendChild(next);
+            next.onclick = () => this.fireNext.bind(this)();
+        }
+        if (this.props.showButtons || this.props.showFilter) {
+            close = document.createElement('div');
+            close.classList.add(SearchBox.Styles.BUTTON, SearchBox.Styles.BUTTON_CLOSE);
+            close.title = nls_1.nls.localize('theia/core/searchbox/close', 'Close (Escape)');
+            buttons.appendChild(close);
+            close.onclick = () => this.hide.bind(this)();
+        }
+        return {
+            container: this.node,
+            input,
+            filter,
+            previous,
+            next,
+            close
+        };
+    }
+    onAfterAttach(msg) {
+        super.onAfterAttach(msg);
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        this.addEventListener(this.input, 'selectstart', () => false);
+    }
+}
+exports.SearchBox = SearchBox;
+SearchBox.SPECIAL_KEYS = [
+    keys_1.Key.ESCAPE,
+    keys_1.Key.BACKSPACE
+];
+SearchBox.MAX_CONTENT_LENGTH = 15;
+(function (SearchBox) {
+    /**
+     * CSS classes for the search box widget.
+     */
+    let Styles;
+    (function (Styles) {
+        Styles.SEARCH_BOX = 'theia-search-box';
+        Styles.SEARCH_INPUT = 'theia-search-input';
+        Styles.SEARCH_BUTTONS_WRAPPER = 'theia-search-buttons-wrapper';
+        Styles.BUTTON = 'theia-search-button';
+        Styles.FILTER = ['codicon', 'codicon-filter'];
+        Styles.FILTER_ON = 'filter-active';
+        Styles.BUTTON_PREVIOUS = 'theia-search-button-previous';
+        Styles.BUTTON_NEXT = 'theia-search-button-next';
+        Styles.BUTTON_CLOSE = 'theia-search-button-close';
+        Styles.NON_SELECTABLE = 'theia-non-selectable';
+        Styles.NO_MATCH = 'no-match';
+    })(Styles = SearchBox.Styles || (SearchBox.Styles = {}));
+})(SearchBox || (exports.SearchBox = SearchBox = {}));
+/**
+ * Search box factory.
+ */
+exports.SearchBoxFactory = Symbol('SearchBoxFactory');
+//# sourceMappingURL=search-box.js.map