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