onWorkbenchClose

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

Parameters

workbench

The closed AvailWorkbench.