scrollDisp -> scrollLines

Fixes #902
2017-11-04 03:20:24 -07:00
parent 8ece306dbe
commit 05cbe41d39
9 changed files with 33 additions and 33 deletions
@@ -134,7 +134,7 @@ export class SearchHelper {
      return false;
    }
    this._terminal.selectionManager.setSelection(result.col, result.row, result.term.length);
-    this._terminal.scrollDisp(result.row - this._terminal.buffer.ydisp, false);
+    this._terminal.scrollLines(result.row - this._terminal.buffer.ydisp, false);
    return true;
  }
 }