| public static FireDocumentModifiedStateChange ( System.Guid scriptId ) : void | ||
| scriptId | System.Guid | |
| return | void | |
public bool Save(bool onlyIfModified)
{
string script = SourceCode;
if (string.IsNullOrEmpty(script))
{
return(false);
}
// prompt the user if saving an undefined file
string path = FullPath;
if (string.IsNullOrEmpty(path))
{
return(false);
}
string dir = System.IO.Path.GetDirectoryName(path);
if (!System.IO.Directory.Exists(dir))
{
return(false);
}
if (onlyIfModified && !Modified)
{
return(false);
}
bool rc = false;
try
{
System.IO.File.WriteAllText(path, script);
rc = true;
}
catch (Exception)
{
}
if (rc)
{
bool old_modified = Modified;
if (old_modified == true)
{
Modified = false;
DocumentEvents.FireDocumentModifiedStateChange(Id);
}
DocumentEvents.FireSaveDocument(Id);
}
return(rc);
}
public static void SetDocumentModified(Guid document_id, bool modified)
{
for (int i = 0; i < m_docs.Count; i++)
{
ScriptDocument doc = m_docs[i];
if (doc.Id == document_id)
{
if (doc.Modified != modified)
{
doc.Modified = modified;
DocumentEvents.FireDocumentModifiedStateChange(document_id);
}
break;
}
}
}
