snapshot, notably history no longer remember annotations: they are

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

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 437d85a21faf32953aeda8a1d6dd698a4b489404..d67a2754990e56e2318530a518f4862de344a9d4 100644 (file)
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -13,11 +13,11 @@ class mainWin :
     val fileMenu_menu : GMenu.menu
     val helpMenu : GMenu.menu_item
     val helpMenu_menu : GMenu.menu
-    val image108 : GMisc.image
-    val image109 : GMisc.image
-    val image110 : GMisc.image
-    val image111 : GMisc.image
-    val image112 : GMisc.image
+    val image116 : GMisc.image
+    val image117 : GMisc.image
+    val image118 : GMisc.image
+    val image119 : GMisc.image
+    val image120 : GMisc.image
     val mainMenuBar : GMenu.menu_shell
     val mainStatusBar : GMisc.statusbar
     val mainVPanes : GPack.paned
@@ -56,11 +56,11 @@ class mainWin :
     method fileMenu_menu : GMenu.menu
     method helpMenu : GMenu.menu_item
     method helpMenu_menu : GMenu.menu
-    method image108 : GMisc.image
-    method image109 : GMisc.image
-    method image110 : GMisc.image
-    method image111 : GMisc.image
-    method image112 : GMisc.image
+    method image116 : GMisc.image
+    method image117 : GMisc.image
+    method image118 : GMisc.image
+    method image119 : GMisc.image
+    method image120 : GMisc.image
     method mainMenuBar : GMenu.menu_shell
     method mainStatusBar : GMisc.statusbar
     method mainVPanes : GPack.paned
@@ -330,11 +330,16 @@ class checkWin :
   unit ->
   object
     val checkWin : GWindow.window
+    val checkWinEventBox : GBin.event_box
+    val scrolledCheck : GBin.scrolled_window
     val toplevel : GWindow.window
     val xml : Glade.glade_xml Gtk.obj
     method bind : name:string -> callback:(unit -> unit) -> unit
     method checkWin : GWindow.window
+    method checkWinEventBox : GBin.event_box
     method check_widgets : unit -> unit
+    method reparent : GObj.widget -> unit
+    method scrolledCheck : GBin.scrolled_window
     method toplevel : GWindow.window
     method xml : Glade.glade_xml Gtk.obj
   end