Avail
constructor(workbench: AvailWorkbench, moduleName: ModuleName, afterTextLoaded: (AvailEditor) -> Unit = {})
Construct an AvailEditor.
Parameters
workbench
The owning AvailWorkbench.
module
The ModuleName of the module being opened in the editor.
after
Action to perform after text has been loaded to sourcePane.