sig
val can_redo : ([> `sourcebuffer ], bool -> unit) GtkSignal.t
val can_undo : ([> `sourcebuffer ], bool -> unit) GtkSignal.t
val highlight_updated :
([> `sourcebuffer ], Gtk.text_iter -> Gtk.text_iter -> unit) GtkSignal.t
val marker_updated :
([> `sourcebuffer ], Gtk.text_iter -> unit) GtkSignal.t
end