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