// This only gets called on an explicit move, not when typing
void OnMarkSet(object sender, Gtk.MarkSetArgs args)
{
if (args.Mark == Buffer.InsertMark)
{
Update();
}
}
public void HandleSelectionChanged(object o, Gtk.MarkSetArgs args)
{
var handler = Handler;
var selection = handler.Selection;
if (handler.suppressSelectionAndTextChanged == 0 && selection != lastSelection)
{
handler.Callback.OnSelectionChanged(handler.Widget, EventArgs.Empty);
lastSelection = selection;
}
}
public void HandleCaretIndexChanged(object o, Gtk.MarkSetArgs args)
{
var handler = Handler;
var caretIndex = handler.CaretIndex;
if (handler.suppressSelectionAndTextChanged == 0 && caretIndex != lastCaretIndex)
{
handler.Callback.OnCaretIndexChanged(handler.Widget, EventArgs.Empty);
lastCaretIndex = caretIndex;
}
}
public void HandleCaretIndexChanged(object o, Gtk.MarkSetArgs args)
{
var handler = Handler;
var caretIndex = handler.CaretIndex;
if (handler.sendSelectionChanged && caretIndex != lastCaretIndex)
{
handler.Widget.OnCaretIndexChanged(EventArgs.Empty);
lastCaretIndex = caretIndex;
}
}
public void HandleSelectionChanged(object o, Gtk.MarkSetArgs args)
{
var handler = Handler;
var selection = handler.Selection;
if (handler.sendSelectionChanged && selection != lastSelection)
{
handler.Widget.OnSelectionChanged(EventArgs.Empty);
lastSelection = selection;
}
}
void OnSelectionMarkSet(object sender, Gtk.MarkSetArgs args)
{
// FIXME: Process in a timeout due to GTK+ bug #172050.
markSetTimeout.Reset(0);
}
