class source_buffer_signals :GtkSourceView_types.source_buffer Gtk.obj ->
object
..end
method changed : callback:(unit -> unit) -> GtkSignal.id
method can_redo : callback:(bool -> unit) -> GtkSignal.id
method can_undo : callback:(bool -> unit) -> GtkSignal.id
method highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
method marker_updated : callback:(Gtk.text_iter -> unit) -> GtkSignal.id