class virtual gui_base :
object
.. end
What the gui must provide. These are provided by default by the
Custop_installation.default_main_gui
class, built using a glade file
(from which the Custop_base
module is generated).
method virtual bind : name:string -> callback:(unit -> unit) -> unit
method virtual check_widgets : unit -> unit
method virtual input_wscroll : GBin.scrolled_window
method virtual main : GWindow.window
method virtual output_wscroll : GBin.scrolled_window
method virtual reparent : GObj.widget -> unit
method virtual toplevel : GWindow.window
method virtual vbox_code : GPack.box
method virtual wb_execute : GButton.button
method virtual wf_display : GBin.frame
method virtual wf_elements : GBin.frame
method virtual wf_output : GBin.frame
method virtual wl_error : GMisc.label
method virtual xml : Glade.glade_xml Gtk.obj