public static UserData inst()
{
if (inst_ == null) {
inst_ = LoadUserData();
foreach (IDE.IDESettings setting in inst_.IDESettings)
setting.Parent = inst_;
} return inst_;
}
static UserData LoadUserData()
{
string fileName = GetAppDataPath("UserData.xml");
try {
if (File.Exists(fileName)) {
System.Xml.Serialization.XmlSerializer reader = new System.Xml.Serialization.XmlSerializer(typeof(UserData));
UserData ud = new UserData();
using (System.IO.FileStream file = new System.IO.FileStream(fileName, FileMode.Open, FileAccess.Read, FileShare.Read)) {
ud = (UserData)reader.Deserialize(file);
file.Close();
}
return ud;
}
return new UserData();
}
catch (Exception ex) {
ErrorHandler.inst().Error(ex);
return new UserData();
} finally { }
}