Class type Ed_outputs.output


class type output = object .. end
The class of objects which can be added to an "outputs" window.

method box : GObj.widget
method label : string
method name : string
method on_destroy : unit
method set_label : string -> unit