?on_destroy:(unit -> unit) ->
string ->
object
  val mutable label : string
  method box : GObj.widget
  method contents : string
  method insert : string -> unit
  method label : string
  method name : string
  method on_destroy : unit
  method reset : unit
  method run : string -> ?reset:bool -> (int -> unit) -> unit
  method set_label : string -> unit
  method view : GSourceView2.source_view
end