public void Deserialize(string filename)
{
Type[] extraTypes = new Type[1];
extraTypes[0] = typeof(List <file>);
XmlSerializer serializer = new XmlSerializer(typeof(solutiondetails), extraTypes);
FileStream fs = new FileStream(filename, FileMode.Open);
details = (solutiondetails)serializer.Deserialize(fs);
fs.Close();
isDirty = false;
solutionchanged();
}
public void updatedetails(solutiondetails d)
{
details = d;
solutionchanged();
}
public void updatedetails(solutiondetails d)
{
details = d;
solutionchanged();
}
public void Deserialize(string filename)
{
Type[] extraTypes = new Type[1];
extraTypes[0] = typeof(List<file>);
XmlSerializer serializer = new XmlSerializer(typeof(solutiondetails),extraTypes);
FileStream fs = new FileStream(filename, FileMode.Open);
details = (solutiondetails)serializer.Deserialize(fs);
fs.Close();
isDirty = false;
solutionchanged();
}