Expose getSelectionPosition and select APIs instead

2019-05-11 23:52:38 -07:00
parent da7c39e526
commit 5bbbbf7348
7 changed files with 71 additions and 21 deletions
@@ -341,7 +341,7 @@ export class SearchHelper implements ISearchHelper {
      this._terminal.clearSelection();
      return false;
    }
-    this._terminal._core.selectionManager.setSelection(result.col, result.row, result.term.length);
+    this._terminal.select(result.col, result.row, result.term.length);
    this._terminal.scrollLines(result.row - this._terminal._core.buffer.ydisp);
    return true;
  }