waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Fix duplicate decorations getting created

Browse Source
This commit is contained in:
Daniel Imms
2022-03-21 16:24:34 -07:00
parent fe530d92ec
commit 23076ba6cc
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-search/src/SearchAddon.ts
+2 -3
View File
@@ -92,6 +92,7 @@ export class SearchAddon implements ITerminalAddon {
private _disposeDecorations(): void {
this._resultDecorations.forEach(decorations => {
for (const d of decorations) {
console.log('dispose', d);
d.dispose();
}
});
@@ -189,9 +190,6 @@ export class SearchAddon implements ITerminalAddon {
}
}
}
if (result && searchOptions?.decorations) {
this._createResultDecoration(result, searchOptions?.decorations);
}
return result;
}
@@ -646,6 +644,7 @@ export class SearchAddon implements ITerminalAddon {
if (!marker || !decorations?.matchColor) {
return undefined;
}
const findResultDecoration = terminal.registerDecoration(
{ marker,
overviewRulerOptions: this._resultDecorations.get(marker.line) && !this._dataChanged ? undefined : { color: decorations.matchColor, position: 'center' }