Method _didOptionsChange

src/server/web/public/terminal.js:6478–6480

(e3, t3)

            const i2 = !this._lastSearchOptions || this._didOptionsChange(this._lastSearchOptions, t3);
            this._lastSearchOptions = t3, (t3 == null ? void 0 : t3.decorations) && (void 0 === this._cachedSearchTerm || e3 !== this._cachedSearchTerm || i2) && this._highlightAllMatches(e3, t3);
            const s2 = this._findPreviousAndSelect(e3, t3);
            return this._fireResults(t3), this._cachedSearchTerm = e3, s2;
          }
          _didOptionsChange(e3, t3) {
            return !!t3 && (e3.caseSensitive !== t3.caseSensitive || e3.regex !== t3.regex || e3.wholeWord !== t3.wholeWord);
          }