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

track disposable

Browse Source
This commit is contained in:
meganrogge
2022-03-18 15:32:24 -04:00
parent 85683a457d
commit 8328fcac52
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-search/src/SearchAddon.ts
+6 -3
View File
@@ -50,6 +50,7 @@ export class SearchAddon implements ITerminalAddon {
private _selectedDecoration: IDecoration | undefined;
private _resultDecorations: Map<number, IDecoration[]> = new Map<number, IDecoration[]>();
private _searchResults: Map<string, ISearchResult> = new Map();
private _onDataDisposable: IDisposable | undefined;
/**
* translateBufferLineToStringWithWrap is a fairly expensive call.
* We memoize the calls into an array that has a time based ttl.
@@ -62,10 +63,13 @@ export class SearchAddon implements ITerminalAddon {
public activate(terminal: Terminal): void {
this._terminal = terminal;
this._terminal.onData(() => this._dataChanged = true);
this._onDataDisposable = this._terminal.onData(() => this._dataChanged = true);
}
public dispose(): void { }
public dispose(): void {
this.clear();
this._onDataDisposable?.dispose();
}
public clear(): void {
this._terminal?.clearSelection();
@@ -576,7 +580,6 @@ export class SearchAddon implements ITerminalAddon {
element.style.left = `${element.clientWidth * result.col}px`;
element.style.width = `${element.clientWidth * result.term.length}px`;
element.style.backgroundColor = color;
element.style.color = color;
}
}