mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Merge branch 'master' into fix-caps-lock-ime
This commit is contained in:
@@ -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();
|
||||
|
||||
Vendored
+1
-1
@@ -444,7 +444,7 @@ declare module 'xterm' {
|
||||
* This will only take effect when {@link IDecorationOptions.overviewRulerOptions}
|
||||
* were provided initially.
|
||||
*/
|
||||
overviewRulerOptions?: Pick<IDecorationOverviewRulerOptions, 'color'>;
|
||||
options: Pick<IDecorationOptions, 'overviewRulerOptions'>;
|
||||
}
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user