avail/avail.anvil.manager/AvailProjectManager/onWorkbenchClose

onWorkbenchClose

fun onWorkbenchClose(workbench: AvailWorkbench)
Content copied to clipboard

The action to perform when an AvailWorkbench launched from this AvailProjectManager is closed.

Parameters

workbench

The closed AvailWorkbench.