+class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+ let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in
+ object (self)
+ inherit Glade.xml ?autoconnect xmldata
+ val toplevel =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
+ method toplevel = toplevel
+ val checkWin =
+ new GWindow.window (GtkWindow.Window.cast
+ (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
+ method checkWin = checkWin
+ method check_widgets () = ()
+ end