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

Remove extra import

Browse Source
This commit is contained in:
Logan Ramos
2019-07-02 15:57:23 -07:00
parent 60c2248cb4
commit 345bf11389
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-search/src/SearchAddon.ts
+1 -2
View File
@@ -4,7 +4,6 @@
*/
import { Terminal, IDisposable, ITerminalAddon } from 'xterm';
import { floor } from 'mathjs';
export interface ISearchOptions {
regex?: boolean;
@@ -375,7 +374,7 @@ export class SearchAddon implements ITerminalAddon {
}
terminal.select(result.col, result.row, result.term.length);
let scroll = result.row - terminal.buffer.viewportY;
scroll = scroll - floor(terminal.rows / 2);
scroll = scroll - Math.floor(terminal.rows / 2);
terminal.scrollLines(scroll);
return true;
}