Class `OgtkSourceView3Props.source_undo_manager_sigs`

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 : < can_redo_changed : callback:(unit -> unit) -> GtkSignal.id; can_undo_changed : callback:(unit -> unit) -> GtkSignal.id; .. > -> callback:(unit -> unit) -> GtkSignal.id