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