public class EditorView extends ScrollView:
Readable editor widget with syntax highlighting support.
| Modifier and Type | Member | Description |
|---|---|---|
| public | documentdocument as FileDocument = null |
Current document bound to this editor. |
| public | editableeditable as Boolean = true |
No summary. |
| public | scrollColscrollCol as Int = 0 |
No summary. |
| public | scrollRowscrollRow as Int = 0 |
No summary. |
| public | showLineNumbersshowLineNumbers as Boolean = true |
Displays left line numbers when true. |
| public | statusMessagestatusMessage as String = "" |
No summary. |
| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | cursorViewColcursorViewCol as Int: |
No summary. |
| public readonly property | cursorViewRowcursorViewRow as Int: |
No summary. |
| public readonly property | totalLineCounttotalLineCount as Int: |
No summary. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | EditorViewEditorView(document as FileDocument = null): |
No summary. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | bindDocumentbindDocument(document as FileDocument) as Void: |
Binds a new document and refreshes rendered content. |
| public | currentDocumentcurrentDocument() as FileDocument: |
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 | handleVerticalScrollbarMouse | No summary. |
| public | moveCursorToViewPosition | No summary. |
| public override | paintToFrame | No summary. |
| public | refreshrefresh() as Void: |
Re-renders the current document using the active highlighter. |
| public | scrollByAmount | No summary. |
| public | visibleRowCount | No summary. |