| public |
bindDocument |
Binds a new document and refreshes rendered content. |
| public |
currentDocument |
Returns the currently bound document. |
| public |
handleEvent |
Handles a terminal key event for basic text editing. |
| public override |
handleMouseEvent |
Handles a mouse event inside the editor viewport. |
| public |
handleVerticalScrollbarMousehandleVerticalScrollbarMouse(mouse as MouseEvent, localX as Int, localY as Int, viewWidth as Int, viewHeight as Int, totalLines as Int, topInset as Int = 0, bottomInset as Int = 0, rightInset as Int = 0) as Boolean: |
No summary. |
| public |
moveCursorToViewPosition |
No summary. |
| public override |
paintToFrame |
No summary. |
| public |
refresh refresh() as Void:
|
Re-renders the current document using the active highlighter. |
| public |
scrollByAmountscrollByAmount(delta as Int, totalLines as Int, viewHeight as Int, topInset as Int = 0, bottomInset as Int = 0) as Boolean: |
No summary. |
| public |
visibleRowCountvisibleRowCount(viewHeight as Int, topInset as Int = 0, bottomInset as Int = 0) as Int: |
No summary. |