internal void SaveFile(String fullFileName)
{
System.Threading.Interlocked.Exchange(ref this.lastFileChangeTime, System.DateTime.Now.AddSeconds(2).Ticks);
this.TextEditor.Save(fullFileName);
this.SetFullFileName(fullFileName);
}