Returns the DOM node that is responsible for the scrolling of the editor.
()
| 327 | |
| 328 | /** Returns the DOM node that is responsible for the scrolling of the editor. */ |
| 329 | getScrollerElement(): HTMLElement; |
| 330 | |
| 331 | /** Fetches the DOM node that contains the editor gutters. */ |
| 332 | getGutterElement(): HTMLElement; |