AvailEditor

fun AvailEditor(    workbench: AvailWorkbench,     moduleName: ModuleName,     afterTextLoaded: (AvailEditor) -> Unit = {})

Construct an AvailEditor.

Parameters

workbench

The owning AvailWorkbench.

moduleName

The ModuleName of the module being opened in the editor.

afterTextLoaded

Action to perform after text has been loaded to sourcePane.