?file:string ->
?domain:string ->
?autoconnect:bool ->
unit ->
object
  val _menuitem1_menu : GMenu.menu
  val _menuitem4_menu : GMenu.menu
  val _vbox1 : GPack.box
  val input_wscroll : GBin.scrolled_window
  val main : GWindow.window
  val output_wscroll : GBin.scrolled_window
  val toplevel : GWindow.window
  val vbox_code : GPack.box
  val wb_execute : GButton.button
  val wf_display : GBin.frame
  val wf_elements : GBin.frame
  val wf_output : GBin.frame
  val wl_error : GMisc.label
  val xml : Glade.glade_xml Gtk.obj
  method _menuitem1_menu : GMenu.menu
  method _menuitem4_menu : GMenu.menu
  method _vbox1 : GPack.box
  method bind : name:string -> callback:(unit -> unit) -> unit
  method check_widgets : unit -> unit
  method input_wscroll : GBin.scrolled_window
  method main : GWindow.window
  method output_wscroll : GBin.scrolled_window
  method reparent : GObj.widget -> unit
  method toplevel : GWindow.window
  method vbox_code : GPack.box
  method wb_execute : GButton.button
  method wf_display : GBin.frame
  method wf_elements : GBin.frame
  method wf_output : GBin.frame
  method wl_error : GMisc.label
  method xml : Glade.glade_xml Gtk.obj
end