{ public static void SaveAs()
{
TabData Data = TabManager.GetSelectedTabData();
SaveFileDialog Dlg = new SaveFileDialog();
Dlg.Title = AppMain.AppName + " - Save As";
Dlg.Filter = "DESolver Files (*.DES) |*.DES| All Files (*.*) |*.*";
Dlg.FileName = Data.Filename;
DialogResult Result = Dlg.ShowDialog();
if (Result != DialogResult.OK)
{
return;
}
IO_Writer.Write(Dlg.FileName, Data.Box.Text);
TabManager.NewFilename(Data.Filename, Dlg.FileName);
Data.Box.Modified = false;
State.RefreshSaves();
FileTree.This.RefreshTree();
}
private static void BasicSave(TabData Data)
{
IO_Writer.Write(Data.Filename, Data.Box.Text);
Data.Box.Modified = false;
}