sig val highlight_updated : ([> `sourcebuffer ], Gtk.text_iter -> Gtk.text_iter -> unit) GtkSignal.t val source_mark_updated : ([> `sourcebuffer ], GtkSourceView3_types.source_mark Gobject.obj -> unit) GtkSignal.t end