OgtkSourceView3Props.source_buffer_sigs
method private virtual connect : b. ([> `sourcebuffer ] as 'a, 'b) GtkSignal.t -> callback:'b
-> GtkSignal.id
method private virtual notify : b. ('a, 'b) Gobject.property -> callback:('b -> unit) -> GtkSignal.id
method highlight_updated : < highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) ->
GtkSignal.id; notify_can_redo : callback:(bool -> unit) ->
GtkSignal.id; notify_can_undo : callback:(bool -> unit) ->
GtkSignal.id; notify_highlight_matching_brackets : callback:(bool -> unit) ->
GtkSignal.id; notify_highlight_syntax : callback:(bool -> unit) ->
GtkSignal.id; notify_max_undo_levels : callback:(int -> unit) ->
GtkSignal.id; source_mark_updated : callback:(GtkSourceView3_types.source_mark Gobject.obj -> unit) -> GtkSignal.id; .. > -> callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
method source_mark_updated : 'c -> callback:(GtkSourceView3_types.source_mark Gobject.obj -> unit) -> GtkSignal.id
method notify_can_redo : 'c -> callback:(bool -> unit) -> GtkSignal.id
method notify_can_undo : 'c -> callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_matching_brackets : 'c -> callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_syntax : 'c -> callback:(bool -> unit) -> GtkSignal.id
method notify_max_undo_levels : 'c -> callback:(int -> unit) -> GtkSignal.id