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 search scrolling up

Browse Source
This commit is contained in:
Daniel Imms
2017-06-13 19:34:25 -07:00
parent 280b698a50
commit d3f5a06517
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/SearchHelper.ts
+1 -2
View File
@@ -70,8 +70,7 @@ export class SearchHelper {
return;
}
this._terminal.selectionManager.setSelection(result.col, result.row, result.term.length);
const scrollAmount = Math.max(Math.min(result.row - this._terminal.ydisp, this._terminal.ybase), 0);
this._terminal.scrollDisp(scrollAmount, false);
this._terminal.scrollDisp(result.row - this._terminal.ydisp, false);
}
// TODO: Consolidate with SelectionManager function