launch
fun launchWorkbench( project: AvailProject = AvailProjectV1(
"--No Project--",
true,
AvailRepositories()), availProjectFilePath: String = "", initial: 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.
initial
The name of the module to have selected when the workbench frame is opened.
Throws
If something goes wrong.