* Selects the line specified. * @param line The line index.
(line: number)
| 1027 | * @param line The line index. |
| 1028 | */ |
| 1029 | protected _selectLineAt(line: number): void { |
| 1030 | const wrappedRange = this._bufferService.buffer.getWrappedRangeForLine(line); |
| 1031 | const range: IBufferRange = { |
| 1032 | start: { x: 0, y: wrappedRange.first }, |
| 1033 | end: { x: this._bufferService.cols - 1, y: wrappedRange.last } |
| 1034 | }; |
| 1035 | this._model.selectionStart = [0, wrappedRange.first]; |
| 1036 | this._model.selectionEnd = undefined; |
| 1037 | this._model.selectionStartLength = getRangeLength(range, this._bufferService.cols); |
| 1038 | } |
| 1039 | } |