public WorkSpaceShell(string workSpaceName, int workSpaceId)
{
m_WorkSpaceName = workSpaceName;
m_WorkSpaceId = workSpaceId;
m_WorkSpaceForm = new WorkSpaceForm(m_WorkSpaceName);
}
public void RemoveWorkSpace(int workSpaceId)
{
for (int i = 0; i < m_WorkSpaceContainer.TabPages.Count; ++i)
{
WorkSpaceForm workSpaceForm = (WorkSpaceForm)m_WorkSpaceContainer.TabPages[i].Form;
WorkSpaceShell workSpaceShell = (WorkSpaceShell)workSpaceForm.Tag;
if (workSpaceShell.WorkSpaceId() == workSpaceId)
{
m_WorkSpaceContainer.TabPages.Remove(workSpaceShell.Shell);
break;
}
}
}
