Project File Editor
fun ProjectFileEditor( workbench: AvailWorkbench, autoSave: Boolean = false, afterTextLoaded: (ProjectFileEditor) -> Unit = {})
Content copied to clipboard
Construct an ProjectFileEditor.
Parameters
workbench
The owning AvailWorkbench.
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.