?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