(offset: number, length: number)
| 76 | } |
| 77 | |
| 78 | range(offset: number, length: number) { |
| 79 | return window.monacoApi.RangeFromPositions(this.getPositionAt(offset), this.getPositionAt(offset + length)); |
| 80 | } |
| 81 | |
| 82 | revealPosition(lineNumber: number, column: number = 1, focus: boolean = true) { |
| 83 | if (focus) { |
no test coverage detected