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 Long = 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 Long |
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 override | handleEvent | Handles a terminal key event for basic text editing. |
| public override | handleMouseEvent | Handles a mouse event inside the editor viewport. |
| public override | handleVerticalScrollbarMouse | No summary. |
| public | moveCursorToViewPosition | No summary. |
| public override | paintToFrame | No summary. |
| public override | refreshrefresh() as Void |
Re-renders the current document using the active highlighter. |
| public override | scrollByAmount | No summary. |
| public override | visibleRowCount | No summary. |