From 2b916a24aa3ae2b1a2ff5eb28745b751a0ea4586 Mon Sep 17 00:00:00 2001 From: Megan Rogge Date: Fri, 8 Apr 2022 13:35:55 -0700 Subject: [PATCH 1/2] get overview ruler to update when color is changed (#3730) --- typings/xterm.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typings/xterm.d.ts b/typings/xterm.d.ts index d1eb3890..76c228b2 100644 --- a/typings/xterm.d.ts +++ b/typings/xterm.d.ts @@ -444,7 +444,7 @@ declare module 'xterm' { * This will only take effect when {@link IDecorationOptions.overviewRulerOptions} * were provided initially. */ - overviewRulerOptions?: Pick; + options: Pick; } From 85b5161380757b8d21fc35155818e1166259e28b Mon Sep 17 00:00:00 2001 From: Megan Rogge Date: Fri, 8 Apr 2022 14:07:46 -0700 Subject: [PATCH 2/2] don't return if results are the same bc color might have changed (#3731) --- addons/xterm-addon-search/src/SearchAddon.ts | 3 --- 1 file changed, 3 deletions(-) diff --git a/addons/xterm-addon-search/src/SearchAddon.ts b/addons/xterm-addon-search/src/SearchAddon.ts index d2ee05b4..0192532c 100644 --- a/addons/xterm-addon-search/src/SearchAddon.ts +++ b/addons/xterm-addon-search/src/SearchAddon.ts @@ -145,9 +145,6 @@ export class SearchAddon implements ITerminalAddon { return; } searchOptions = searchOptions || {}; - if (term === this._cachedSearchTerm && !this._dataChanged) { - return; - } // new search, clear out the old decorations this.clearDecorations();