(line: number)
| 1422 | } |
| 1423 | |
| 1424 | public getLineLength(line: number): number { |
| 1425 | const wrappedLine = this.getLine(line) |
| 1426 | return stringWidth(wrappedLine.text) |
| 1427 | } |
| 1428 | |
| 1429 | public getPositionFromOffset(offset: number): Position { |
| 1430 | const lines = this.wrappedLines |