void OnBufferMarkSet (object sender, Gtk.MarkSetArgs args)
{
if (args.Mark == buffer.InsertMark)
data.Data.CursorPosition = args.Location.Offset;
else if (args.Mark == buffer.SelectionBound)
data.Data.SelectionBoundPosition = args.Location.Offset;
else
return;
DebugSave ("OnBufferSetMark queueing save");
QueueSave (ChangeType.NoChange);
}