/// <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();
}