{ public static void Close() { TabData Data = TabManager.GetSelectedTabData(); DialogResult OK = IO_Save.SaveAskIfChanged(Data); if (OK == DialogResult.Cancel) { return; } TabManager.Remove(); if (!TabManager.HasTabs()) { State.NoFilesOpen(); } }