+class debug ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"Debug" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ new GWindow.dialog (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+ method toplevel = toplevel
+ val debug : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ new GWindow.dialog (GtkWindow.Dialog.cast
+ (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+ method debug = debug
+ val dialog_vbox5 =
+ new GPack.box (GtkPack.Box.cast
+ (Glade.get_widget_msg ~name:"dialog-vbox5" ~info:"GtkVBox" xmldata))
+ method dialog_vbox5 = dialog_vbox5
+ val cancelbutton2 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"cancelbutton2" ~info:"GtkButton" xmldata))
+ method cancelbutton2 = cancelbutton2
+ val okbutton2 =
+ new GButton.button (GtkButton.Button.cast
+ (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
+ method okbutton2 = okbutton2
+ method reparent parent =
+ dialog_vbox5#misc#reparent parent;
+ toplevel#destroy ()
+ method check_widgets () = ()
+ end