object
  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
end