From 345bf113893ec6042084647b12e5d98b1aa6ce43 Mon Sep 17 00:00:00 2001 From: Logan Ramos Date: Tue, 2 Jul 2019 15:57:23 -0700 Subject: [PATCH] Remove extra import --- addons/xterm-addon-search/src/SearchAddon.ts | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/addons/xterm-addon-search/src/SearchAddon.ts b/addons/xterm-addon-search/src/SearchAddon.ts index 5c4e28d8..8fcfc690 100644 --- a/addons/xterm-addon-search/src/SearchAddon.ts +++ b/addons/xterm-addon-search/src/SearchAddon.ts @@ -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; }