JSONFile Editor
fun JSONFileEditor( workbench: AvailWorkbench, filePath: String, frameTitle: String, autoSave: Boolean = false, afterTextLoaded: (JSONFileEditor) -> Unit = {})
Content copied to clipboard
Construct an JSONFileEditor.
Parameters
workbench
The owning AvailWorkbench.
file Path
The path to the file.
frame Title
The window title.
auto Save
Whether to auto save the backing file to disk after changes.
after Text Loaded
Action to perform after text has been loaded to sourcePane.