module Ed_outputs: sig
.. end
A window to display various output boxes with tabs.
class type output = object
.. end
The class of objects which can be added to an "outputs" window.
class outputs : ?on_destroy:unit -> unit -> unit ->
object
.. end
An object to represent an "outputs" window.
val outputs : unit -> outputs
This function returns the outputs window, creating if it does not exist.
val watch_and_insert : ?on_end:(unit -> unit) ->
Pervasives.in_channel -> (string -> unit) -> GMain.Io.id
watch_and_insert ic insert
watches on input channel ic
and uses
the given insert
when text is available and read from the channel.
Returns the watch id
on_end
: can be used to specify a function called when the channel is closed.
val run_and_read_in_buffer : string -> (string -> unit) -> (int -> unit) -> unit
run_and_read_in_buffer command insert f
runs a command and display its
output with the insert
function.
The function f
is called when the command exits, and
takes in parameter the exit code (or signal number if the command was
killed or stopped).
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
.
class interactive_output : ?on_destroy:unit -> unit -> name:string -> command:string ->
object
.. end
This class inherits from Ed_outputs.text_output
to display the output of a
command given at the creation of an instance; The run text f
method sends
the given text
on the command stdin.