public static void RefreshSaves() { if (TabManager.SelectedDocHasChanges()) { SelectedDocHasChanges(); } else if (TabManager.SomeDocHasChanges()) { SomeDocHasChanges(); } else { NoDocHasChanges(); } }