object
method virtual about : unit -> unit
method virtual bind : name:string -> callback:(unit -> unit) -> unit
method virtual check_widgets : unit -> unit
method virtual compare : 'a -> 'a -> int
method display_box : Custop.display_box option
method virtual display_elt : ('a -> unit) option
method virtual elts_columns : (string * ('a -> 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