?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