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.
method add_output : output -> unit
To add a new output to the window. It an output with the same
name alrady exists in the window, then a Failure
exception is raised.
method output_by_name : string -> output
Get the output object by the given name.
Note that the object returned is not the same as the object given
to the add_output
method, be rather an object of class type
output
but with some methods redefined.
Raises Not_found
if no output of this name is in the window.
method show : string -> unit
Call this method to present the window to the used, and make
the notebook show the page with the output of the given name.
Methods inherited from the glade-generated file.
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
method notebook : GPack.notebook
method private output_pos : string -> int
method outputs : GWindow.window
method reparent : GObj.widget -> unit
method toplevel : GWindow.window
method xml : Glade.glade_xml Gtk.obj