avail
2.0.0.alpha23
jvm
avail
/
avail.anvil
/
FileEditor
/
workbench
workbench
override
val
workbench
:
AvailWorkbench
Parameters
workbench
The active
AvailWorkbench
.