/// <summary> /// Loads a work space. /// </summary> /// <param name="fileName">Name of the file.</param> private void LoadWorkSpace(String fileName) { m_WorkSpace = new XmlStoredWorkSpace(fileName); m_WorkSpace.Algorithms = m_Algorithms; if (m_WorkSpace.Load()) { m_IsWorkSpaceModified = false; m_IsWorkSpaceNew = false; RedrawNodeList(); UpdateStatusBar(); } else { MessageBox.Show("Could not load the selected server list file!", "Error", MessageBoxButtons.OK, MessageBoxIcon.Error); } }
public Object Clone() { XmlStoredWorkSpace newCopy = new XmlStoredWorkSpace(m_XmlFileName); foreach(IServer server in m_Servers) { newCopy.m_Servers.Add((IServer)server.Clone()); } return newCopy; }
/// <summary> /// Creates a new work space. /// </summary> private void CreateNewWorkSpace() { m_WorkSpace = new XmlStoredWorkSpace("Untitled"); m_WorkSpace.Algorithms = m_Algorithms; m_IsWorkSpaceNew = true; m_IsWorkSpaceModified = false; /* Clear the tree up */ RedrawNodeList(); }