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