private void UpdateRecentSettingsMenu()
{
FixupObsoleteRecentSettings();
recentToolStripMenuItem.DropDown.Items.Clear();
var item = recentToolStripMenuItem.DropDownItems.Add("Default settings");
item.Click += DefaultSettingsClick;
if (RecentList.Count > 0) recentToolStripMenuItem.DropDownItems.Add(new ToolStripSeparator());
foreach (string filename in RecentList)
{
item = recentToolStripMenuItem.DropDownItems.Add(filename);
item.Click += RecentSettingsClick;
}
recentToolStripMenuItem.Visible = (RecentList.Count > 0);
}