object
  method virtual about : unit -> unit
  method virtual bind : name:string -> callback:(unit -> unit) -> unit
  method virtual check_widgets : unit -> unit
  method virtual compare : '-> '-> int
  method display_box : Custop.display_box option
  method virtual display_elt : ('-> unit) option
  method virtual elts_columns : (string * ('-> string)) list
  method virtual execute : string -> string * ('a * int) list
  method virtual ini_file : string
  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 s_color_error_background : string
  method s_color_output : string
  method s_color_user_code : string
  method s_configuration : string
  method s_display_frame_width : string
  method s_elements_frame_width : string
  method s_error : string
  method s_font_code : string
  method s_load_file : string
  method s_output_frame_height : string
  method s_save : string
  method virtual sourceview_language : string
  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 window_title_prefix : string
  method virtual wl_error : GMisc.label
  method virtual xml : Glade.glade_xml Gtk.obj
end