launch
fun launchWorkbenchWithProject( project: AvailProject, globalAvailConfiguration: GlobalAvailConfiguration, availProjectFilePath: String = "")
Content copied to clipboard
Launch the Avail builderUI.
Parameters
project
The AvailProject to use to launch the workbench.
avail
The String path to the availProject configuration file or an empty String if the AvailWorkbench was started without an AvailProject.
Throws
If something goes wrong.