package lablgtk3-sourceview3
Class OgtkSourceView3Props.source_undo_manager_sigsSource
method private virtual connect : 'b. ([> `sourceundomanager ], 'b) GtkSignal.t ->
callback:'b ->
GtkSignal.idmethod private virtual notify : 'b. ([> `sourceundomanager ], 'b)
Gobject.property ->
callback:('b -> unit) ->
GtkSignal.idmethod can_redo_changed : callback:(unit -> unit) -> GtkSignal.idmethod can_undo_changed : callback:(unit -> unit) -> GtkSignal.id