(e3)
| 6419 | this._highlightTimeout && window.clearTimeout(this._highlightTimeout), this._cachedSearchTerm && ((_a = this._lastSearchOptions) == null ? void 0 : _a.decorations) && (this._highlightTimeout = setTimeout((() => { |
| 6420 | const e3 = this._cachedSearchTerm; |
| 6421 | this._cachedSearchTerm = void 0, this.findPrevious(e3, { ...this._lastSearchOptions, incremental: true, noScroll: true }); |
| 6422 | }), 200)); |
| 6423 | } |
| 6424 | clearDecorations(e3) { |
| 6425 | this._selectedDecoration.clear(), (0, r.disposeArray)(this._highlightDecorations), this._highlightDecorations = [], this._highlightedLines.clear(), e3 || (this._cachedSearchTerm = void 0); |
| 6426 | } |
no test coverage detected