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