(line: number)
| 1397 | } |
| 1398 | |
| 1399 | public getLineLength(line: number): number { |
| 1400 | const wrappedLine = this.getLine(line) |
| 1401 | return stringWidth(wrappedLine.text) |
| 1402 | } |
| 1403 | |
| 1404 | public getPositionFromOffset(offset: number): Position { |
| 1405 | const lines = this.wrappedLines |