Chamo.Outputs
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. It consists of a notebook where "output" object can be added in tabs.
val outputs : unit -> outputs
This function returns the outputs window, creating if it does not exist.
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
.