void OnBufferChanged (object sender, EventArgs args) { DebugSave ("OnBufferChanged queueing save"); QueueSave (ChangeType.ContentChanged); if (BufferChanged != null) BufferChanged (this); }