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