Class Ed_outputs.text_output


class text_output : ?on_destroy:unit -> unit -> string -> object .. end
This class defines an output to show command executions (typically compilation commands) in a GSourceView2.source_view widget.
on_destroy : can be used to given a function to execute when the widget is destroyed.

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 view : GSourceView2.source_view
method reset : unit
Clear the source_buffer.
method run : string -> ?reset:bool -> (int -> unit) -> unit
run command f runs the given command and display its output (both stdout and stderr) in the source_buffer, in a different thread so that the application is not stalled while the command runs. The use of a mutex ensures that two command executions don't output to the buffer at the same time (i.e. the second command waits for the end of the first one).
reset : indicate whether to clear the buffer before executing the command. Default is false.
method set_label : string -> unit