snapshot, notably history no longer remember annotations: they are

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index 17a9268af962742bd887484c0d4bfe7f6529323b..943f78ff861aed5f70ba13a55bed0a70f34a7e1c 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -36,10 +36,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
     method newMenu = newMenu
-    val image108 =
+    val image116 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image108" ~info:"GtkImage" xmldata))
-    method image108 = image108
+        (Glade.get_widget_msg ~name:"image116" ~info:"GtkImage" xmldata))
+    method image116 = image116
     val newMenu_menu =
       new GMenu.menu (GtkMenu.Menu.cast
         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
@@ -56,26 +56,26 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method openMenuItem = openMenuItem
-    val image109 =
+    val image117 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image109" ~info:"GtkImage" xmldata))
-    method image109 = image109
+        (Glade.get_widget_msg ~name:"image117" ~info:"GtkImage" xmldata))
+    method image117 = image117
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image110 =
+    val image118 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image110" ~info:"GtkImage" xmldata))
-    method image110 = image110
+        (Glade.get_widget_msg ~name:"image118" ~info:"GtkImage" xmldata))
+    method image118 = image118
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image111 =
+    val image119 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image111" ~info:"GtkImage" xmldata))
-    method image111 = image111
+        (Glade.get_widget_msg ~name:"image119" ~info:"GtkImage" xmldata))
+    method image119 = image119
     val separator1 =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
@@ -84,10 +84,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method quitMenuItem = quitMenuItem
-    val image112 =
+    val image120 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image112" ~info:"GtkImage" xmldata))
-    method image112 = image112
+        (Glade.get_widget_msg ~name:"image120" ~info:"GtkImage" xmldata))
+    method image120 = image120
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -526,6 +526,17 @@ class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GWindow.window (GtkWindow.Window.cast
         (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
     method checkWin = checkWin
+    val checkWinEventBox =
+      new GBin.event_box (GtkBin.EventBox.cast
+        (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
+    method checkWinEventBox = checkWinEventBox
+    val scrolledCheck =
+      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+        (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledCheck = scrolledCheck
+    method reparent parent =
+      checkWinEventBox#misc#reparent parent;
+      toplevel#destroy ()
     method check_widgets () = ()
   end