void InformAutoSave() { if (isDisposed) { return; } RemoveAutoSaveTimer(); autoSaveTimer = GLib.Timeout.Add(500, delegate { if (autoSaveTask != null && !autoSaveTask.IsCompleted) { return(false); } autoSaveTask = AutoSave.InformAutoSaveThread(textEditor.CreateSnapshot(), textEditor.FileName, IsDirty); autoSaveTimer = 0; return(false); }); }