private void Save(String path)
{
System.IO.StreamWriter saveFile = new System.IO.StreamWriter(path);
String lines = currentFileEditor.GetText();
saveFile.Write(lines);
saveFile.Close();
currentFileEditor.SetDirty(false);
currentFileEditor.SetNew(false);
tabControl.SelectedTab.Text = currentFileEditor.ShortName();
}