public void SaveFile(bool isSaveAs)
{
if (currentFileName == null || isSaveAs)
{
currentFileName = Settings.SaveFileNameFromUser(currentFileName, Project.ScriptExt, "Script");
if (currentFileName == null)
{
return;
}
}
textEditor.Save(currentFileName);
Shell.ShellTitle(OwnerShellId, Path.GetFileNameWithoutExtension(currentFileName));
}