public void SetTabNames(TabLabels NewTabNames)
{
if (Settings.TabLabels != NewTabNames)
{
Settings.TabLabels = NewTabNames;
Settings.Save();
for (int Idx = 0; Idx < TabControl.GetTabCount(); Idx++)
{
WorkspaceControl Workspace = (WorkspaceControl)TabControl.GetTabData(Idx);
TabControl.SetTabName(Idx, GetTabName(Workspace));
}
}
}
