(lineNumber)
| 202 | } |
| 203 | |
| 204 | moveToLineNumber(lineNumber) { |
| 205 | if (lineNumber !== null) { |
| 206 | this.editor.setCursorBufferPosition([lineNumber, 0]); |
| 207 | this.editor.moveToFirstCharacterOfLine(); |
| 208 | } |
| 209 | } |
| 210 | |
| 211 | scheduleUpdate() { |
| 212 | // Use Chromium native requestAnimationFrame because it yields |
no test coverage detected