void ReadRecentFiles()
{
string file = GetConfigFile();
recentFiles = null;
if (File.Exists(file))
{
try {
using (StreamReader sr = new StreamReader(file)) {
XmlSerializer ser = new XmlSerializer(typeof(RecentFiles));
recentFiles = (RecentFiles)ser.Deserialize(sr);
}
} catch {
// Ignore exceptions while reading the recents file
}
}
if (recentFiles == null)
{
recentFiles = new RecentFiles();
}
BuildRecentMenu();
}
void ReadRecentFiles()
{
string file = GetConfigFile ();
recentFiles = null;
if (File.Exists (file)) {
try {
using (StreamReader sr = new StreamReader (file)) {
XmlSerializer ser = new XmlSerializer (typeof (RecentFiles));
recentFiles = (RecentFiles) ser.Deserialize (sr);
}
} catch {
// Ignore exceptions while reading the recents file
}
}
if (recentFiles == null)
recentFiles = new RecentFiles ();
BuildRecentMenu ();
}