Class GSourceView3.source_undo_manager_signals

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

method after : < after : 'a; can_redo_changed : callback:(unit -> unit) -> GtkSignal.id;
         can_undo_changed : callback:(unit -> unit) -> GtkSignal.id; .. >
       as 'a

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

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