snapshot

[helm.git] / helm / matita / matitaGeneratedGui.ml

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index 5ef77f8f39e7a829f8a199e671bb8a7db5be782e..09ecc1c57423904d2f5cffc40f403176a5a8bcba 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -169,10 +169,6 @@ class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
     method scrolledProof = scrolledProof
-    val viewport1 =
-      new GBin.viewport (GtkBin.Viewport.cast
-        (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
-    method viewport1 = viewport1
     method reparent parent =
       proofWinEventBox#misc#reparent parent;
       toplevel#destroy ()
@@ -220,6 +216,10 @@ class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
     method vbox1 = vbox1
+    val vbuttonbox1 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata))
+    method vbuttonbox1 = vbuttonbox1
     val button1 =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
@@ -245,18 +245,22 @@ class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) ()
   let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?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
+    val toplevel =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
-      new GWindow.dialog (GtkWindow.Dialog.cast
+    val confirmationDialog =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
     method confirmationDialog = confirmationDialog
     val dialog_vbox1 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
     method dialog_vbox1 = dialog_vbox1
+    val dialog_action_area1 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
+    method dialog_action_area1 = dialog_action_area1
     val confirmationDialogCancelButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
@@ -278,18 +282,22 @@ class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
   let xmldata = Glade.create ~file  ~root:"AboutWin" ?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
+    val toplevel =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
-      new GWindow.dialog (GtkWindow.Dialog.cast
+    val aboutWin =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
     method aboutWin = aboutWin
     val dialog_vbox2 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
     method dialog_vbox2 = dialog_vbox2
+    val dialog_action_area2 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
+    method dialog_action_area2 = dialog_action_area2
     val aboutDismissButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
@@ -303,18 +311,22 @@ class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?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
+    val toplevel =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
-      new GWindow.dialog (GtkWindow.Dialog.cast
+    val uriChoiceDialog =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
     method uriChoiceDialog = uriChoiceDialog
     val dialog_vbox3 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
     method dialog_vbox3 = dialog_vbox3
+    val dialog_action_area3 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
+    method dialog_action_area3 = dialog_action_area3
     val uriChoiceAbortButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
@@ -400,18 +412,22 @@ class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) ()
   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?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
+    val toplevel =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
-      new GWindow.dialog (GtkWindow.Dialog.cast
+    val interpChoiceDialog =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
     method interpChoiceDialog = interpChoiceDialog
     val dialog_vbox4 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
     method dialog_vbox4 = dialog_vbox4
+    val dialog_action_area4 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
+    method dialog_action_area4 = dialog_action_area4
     val interpChoiceHelpButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
@@ -441,18 +457,22 @@ class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
   let xmldata = Glade.create ~file  ~root:"EmptyDialog" ?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
+    val toplevel =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val emptyDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
-      new GWindow.dialog (GtkWindow.Dialog.cast
+    val emptyDialog =
+      new GWindow.dialog_any (GtkWindow.Dialog.cast
         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
     method emptyDialog = emptyDialog
     val emptyDialogVBox =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
     method emptyDialogVBox = emptyDialogVBox
+    val dialog_action_area5 =
+      new GPack.button_box (GtkPack.BBox.cast
+        (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
+    method dialog_action_area5 = dialog_action_area5
     val emptyDialogCancelButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))