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