public WorkspaceEditorWindow()
{
InitializeComponent();
CurrentWorkspace = SessionManager.GetSession().CurrentWorkspace;
if (CurrentWorkspace == null)
{
CurrentWorkspace = new Workspace();
}
displayWorkspaceValues();
}
public static void Close(Workspace workspace)
{
workspace = null;
}
public static void Save(string filename, Workspace workspace)
{
XmlSerializer xmlSerializer = new XmlSerializer(typeof(Workspace));
TextWriter writer = new StreamWriter(filename);
xmlSerializer.Serialize(writer, workspace);
writer.Close();
}