sig
  val redo : ([> `sourceview ], unit -> unit) GtkSignal.t
  val undo : ([> `sourceview ], unit -> unit) GtkSignal.t
end