Class GSourceView.source_undo_manager_signals
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