Module Ed_outputs (.ml)


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.