Class GSourceView3.source_undo_manager_signals

class source_undo_manager_signals : GtkSourceView3_types.source_undo_manager Gtk.obj -> object .. end

method after : #source_undo_manager_signals

method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id

method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id