/// <summary>
/// Handle a workspace that want to be disconnected.
/// </summary>
public void HandleKwsToDisconnect(Workspace kws)
{
if (!kws.InKasConnectTree()) return;
// Remove the workspace from the KAS connection tree.
kws.RemoveFromKasConnectTree();
// Request an update of the UI since the connection status may
// have changed.
kws.StateChangeUpdate(true);
// Disconnect the KAS if no workspace want to be connected.
if (kws.Kas.KwsConnectTree.Count == 0) DisconnectKas(kws.Kas);
}
