public class FileDocument extends Object:
Editable text document backed by an optional file path.
| Modifier and Type | Member | Description |
|---|---|---|
| public | pathpath as String = "" |
Absolute or relative file path. |
| public | texttext as String = "" |
Full text content. |
| public | titletitle as String = "Editor" |
Title displayed in UI tabs. |
| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | extensionextension as String: |
Returns the file extension in lower case, without the dot. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | FileDocumentFileDocument(path as String = ""): |
No summary. |