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