FileDocument
classin packageklyn.gui.terminal
public class FileDocument extends Object:
Editable text document backed by an optional file path.
Fields
| Modifier and Type |
Member |
Description |
| public |
path |
Absolute or relative file path. |
| public |
text |
Full text content. |
| public |
title |
Title displayed in UI tabs. |
Properties
| Modifier and Type |
Member |
Description |
| public readonly property |
extension |
Returns the file extension in lower case, without the dot. |
Constructors
| Modifier and Type |
Member |
Description |
| public |
FileDocument |
No summary. |
Methods
| Modifier and Type |
Member |
Description |
| public |
load load() as Void:
|
Loads the file content into the document when the path exists. |
| public |
save save() as Void:
|
Persists the document content to disk. |