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)); }