+class emptyDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val dialog_action_area5 : GPack.button_box
+ val emptyDialog : GWindow.dialog_any
+ val emptyDialogCancelButton : GButton.button
+ val emptyDialogLabel : GMisc.label
+ val emptyDialogOkButton : GButton.button
+ val emptyDialogVBox : GPack.box
+ val toplevel : GWindow.dialog_any
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method dialog_action_area5 : GPack.button_box
+ method emptyDialog : GWindow.dialog_any
+ method emptyDialogCancelButton : GButton.button
+ method emptyDialogLabel : GMisc.label
+ method emptyDialogOkButton : GButton.button
+ method emptyDialogVBox : GPack.box
+ method reparent : GObj.widget -> unit
+ method toplevel : GWindow.dialog_any
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class scriptWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val handlebox2 : GBin.handle_box
+ val hbox8 : GPack.box
+ val image133 : GMisc.image
+ val image134 : GMisc.image
+ val image135 : GMisc.image
+ val image235 : GMisc.image
+ val image236 : GMisc.image
+ val label7 : GMisc.label
+ val label8 : GMisc.label
+ val scriptNotebook : GPack.notebook
+ val scriptTextView : GText.view
+ val scriptWin : GWindow.window
+ val scriptWinBackButton : GButton.button
+ val scriptWinBottomButton : GButton.button
+ val scriptWinEventBox : GBin.event_box
+ val scriptWinForwardButton : GButton.button
+ val scriptWinJumpButton : GButton.button
+ val scriptWinTopButton : GButton.button
+ val scrolledOutline : GBin.scrolled_window
+ val scrolledScript : GBin.scrolled_window
+ val toplevel : GWindow.window
+ val treeview1 : GTree.view
+ val vbox7 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method handlebox2 : GBin.handle_box
+ method hbox8 : GPack.box
+ method image133 : GMisc.image
+ method image134 : GMisc.image
+ method image135 : GMisc.image
+ method image235 : GMisc.image
+ method image236 : GMisc.image
+ method label7 : GMisc.label
+ method label8 : GMisc.label
+ method reparent : GObj.widget -> unit
+ method scriptNotebook : GPack.notebook
+ method scriptTextView : GText.view
+ method scriptWin : GWindow.window
+ method scriptWinBackButton : GButton.button
+ method scriptWinBottomButton : GButton.button
+ method scriptWinEventBox : GBin.event_box
+ method scriptWinForwardButton : GButton.button
+ method scriptWinJumpButton : GButton.button
+ method scriptWinTopButton : GButton.button
+ method scrolledOutline : GBin.scrolled_window
+ method scrolledScript : GBin.scrolled_window
+ method toplevel : GWindow.window
+ method treeview1 : GTree.view
+ method vbox7 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class textDialog :