private static DialogResult NoName (TabData Data)
{ String Msg = "" ;
Msg += "Rename and save this document '" ;
Msg += Data.Filename ;
Msg += "'?" ;
DialogResult OK = MsgBox.YesNoCancel (Msg) ;
if (OK == DialogResult.Cancel)
{ return DialogResult.Cancel ;
}
if (OK == DialogResult.Yes)
{ 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 Result ;
}
BasicSave (Data) ;
TabManager.NewFilename (Data.Filename, Dlg.FileName) ;
return DialogResult.Yes ;
}
return DialogResult.No ;
}
private static void OnVisibleChanged(object Obj, EventArgs EA)
{
TabPage Tab = (TabPage)Obj;
if (Tab.Visible)
{
TabData Data = (TabData)Tab.Tag;
StatusBarManager.ShowText("File : " + Data.Filename);
// RefreshStatus () ;
// RefreshState () ;
}
}
public static DialogResult SaveAskIfChanged (TabData Data)
{ String NotNamed = "No Name" ;
if (Data.Filename.IndexOf (NotNamed) == 0)
{ return NoName (Data) ;
}
else if (Data.Box.Modified)
{ return Changed (Data) ;
}
return DialogResult.OK ;
}
public static bool SomeDocHasChanges()
{
foreach (TabPage Tab in Tabs.Controls)
{
TabData Data = (TabData)Tab.Tag;
if (Data.Box.Modified)
{
return(true);
}
}
return(false);
}
public static bool SelectedDocHasChanges()
{
if (HasTabs())
{
TabPage Tab = Tabs.SelectedTab;
TabData Data = (TabData)Tab.Tag;
if (Data.Box.Modified)
{
return(true);
}
}
return(false);
}
public static DialogResult SaveAskIfChanged(TabData Data)
{
String NotNamed = "No Name";
if (Data.Filename.IndexOf(NotNamed) == 0)
{
return(NoName(Data));
}
else if (Data.Box.Modified)
{
return(Changed(Data));
}
return(DialogResult.OK);
}
public static ArrayList GetAllTabData()
{
if (HasTabs())
{
ArrayList Datas = new ArrayList();
foreach (TabPage Tab in Tabs.Controls)
{
TabData Data = (TabData)Tab.Tag;
Datas.Add(Data);
}
return(Datas);
}
return(null);
}
public static void RefreshColor()
{
TabPage Tab;
if (Tabs.Controls.Count == 1)
{
Tab = (TabPage)Tabs.Controls[0];
}
else
{
Tab = Tabs.SelectedTab;
}
TabData Data = (TabData)Tab.Tag;
ColorHighlighter.Parse(Data.Box);
}
{ 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();
}
}
private static DialogResult Changed (TabData Data)
{ String Msg = "" ;
Msg += "Document '" ;
Msg += Data.Filename ;
Msg += "' has been changed. Save changes?" ;
DialogResult OK = MsgBox.YesNoCancel (Msg) ;
if (OK == DialogResult.Cancel)
{ return DialogResult.Cancel ;
}
if (OK == DialogResult.Yes)
{ BasicSave (Data) ;
return DialogResult.Yes ;
}
return DialogResult.No ;
}
public static RichTextBox GetBox()
{
if (HasTabs())
{
TabPage Tab;
if (Tabs.Controls.Count == 1)
{
Tab = (TabPage)Tabs.Controls[0];
}
else
{
Tab = Tabs.SelectedTab;
}
TabData Data = (TabData)Tab.Tag;
return(Data.Box);
}
return(null);
}
public static void Add(String FilenameArg, String ContentArg)
{
TabData Data = new TabData();
Data.Filename = FilenameArg;
TabPage Tab = new TabPage();
Tab.AutoScroll = true;
Tab.ContextMenu = new TabContextMenu(FilenameArg);
Tab.Text = Path.GetFileNameWithoutExtension(FilenameArg);
Tab.Tag = Data;
Tab.VisibleChanged += new EventHandler(OnVisibleChanged);
Tabs.Controls.Add(Tab);
Tabs.SelectTab(Tab);
RichTextBox Box = new RichTextBox();
Box.Parent = Tab;
Box.Dock = DockStyle.Fill;
Box.Multiline = true;
Box.WordWrap = false;
Box.ReadOnly = false;
Box.Text = ContentArg;
Box.ContextMenu = new TabContextMenu(FilenameArg);
Box.TextChanged += new EventHandler(OnTextChange);
Box.SelectionChanged += new EventHandler(OnSelectionChange);
Box.AcceptsTab = true;
// Default is Box.ScrollBars = RichTextBoxScrollBars.Both
Data.Box = Box;
if (GeneralRegistry.GetUseColor())
{
ColorHighlighter.Parse(Box);
}
}
private static DialogResult Changed(TabData Data)
{
String Msg = "";
Msg += "Document '";
Msg += Data.Filename;
Msg += "' has been changed. Save changes?";
DialogResult OK = MsgBox.YesNoCancel(Msg);
if (OK == DialogResult.Cancel)
{
return(DialogResult.Cancel);
}
if (OK == DialogResult.Yes)
{
BasicSave(Data);
return(DialogResult.Yes);
}
return(DialogResult.No);
}
private static DialogResult NoName(TabData Data)
{
String Msg = "";
Msg += "Rename and save this document '";
Msg += Data.Filename;
Msg += "'?";
DialogResult OK = MsgBox.YesNoCancel(Msg);
if (OK == DialogResult.Cancel)
{
return(DialogResult.Cancel);
}
if (OK == DialogResult.Yes)
{
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(Result);
}
BasicSave(Data);
TabManager.NewFilename(Data.Filename, Dlg.FileName);
return(DialogResult.Yes);
}
return(DialogResult.No);
}
public static void Add (String FilenameArg, String ContentArg)
{ TabData Data = new TabData () ;
Data.Filename = FilenameArg ;
TabPage Tab = new TabPage () ;
Tab.AutoScroll = true ;
Tab.ContextMenu = new TabContextMenu (FilenameArg) ;
Tab.Text = Path.GetFileNameWithoutExtension (FilenameArg) ;
Tab.Tag = Data ;
Tab.VisibleChanged += new EventHandler (OnVisibleChanged) ;
Tabs.Controls.Add (Tab) ;
Tabs.SelectTab (Tab) ;
RichTextBox Box = new RichTextBox () ;
Box.Parent = Tab ;
Box.Dock = DockStyle.Fill ;
Box.Multiline = true ;
Box.WordWrap = false ;
Box.ReadOnly = false ;
Box.Text = ContentArg ;
Box.ContextMenu = new TabContextMenu (FilenameArg) ;
Box.TextChanged += new EventHandler (OnTextChange) ;
Box.SelectionChanged += new EventHandler (OnSelectionChange) ;
Box.AcceptsTab = true ;
// Default is Box.ScrollBars = RichTextBoxScrollBars.Both
Data.Box = Box ;
if (GeneralRegistry.GetUseColor ())
{ ColorHighlighter.Parse (Box) ;
}
}
private static void BasicSave (TabData Data)
{ IO_Writer.Write (Data.Filename, Data.Box.Text) ;
Data.Box.Modified = false ;
}
private static void BasicSave(TabData Data)
{
IO_Writer.Write(Data.Filename, Data.Box.Text);
Data.Box.Modified = false;
}
