source_undo_manager_sigs (lablgtk3-sourceview3.OgtkSourceView3Props.source_undo_manager

method private virtual connect : b. ([> `sourceundomanager ] as 'a, 'b) GtkSignal.t -> callback:'b
-> GtkSignal.id

method private virtual notify : b. ('a, 'b) Gobject.property -> callback:('b -> unit) -> GtkSignal.id

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

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