Class Ed_outputs.outputs


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