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