GlobalEnvironmentFileEditor

constructor(workbench: AvailWorkbench, autoSave: Boolean = false, afterTextLoaded: (GlobalEnvironmentFileEditor) -> Unit = {})

Construct an GlobalEnvironmentFileEditor.

Parameters

workbench

The owning AvailWorkbench.

autoSave

Whether to auto save the backing file to disk after changes.

afterTextLoaded

Action to perform after text has been loaded to sourcePane.