snapshot

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index 09ecc1c57423904d2f5cffc40f403176a5a8bcba..9985ef086643205704a8b3bc6ab2993b0f1b1b19 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -12,6 +12,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GWindow.window (GtkWindow.Window.cast
         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
     method mainWin = mainWin
+    val mainWinEventBox =
+      new GBin.event_box (GtkBin.EventBox.cast
+        (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
+    method mainWinEventBox = mainWinEventBox
     val mainWinShape =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
@@ -32,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 image76 =
+    val image84 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
-    method image76 = image76
+        (Glade.get_widget_msg ~name:"image84" ~info:"GtkImage" xmldata))
+    method image84 = image84
     val newMenu_menu =
       new GMenu.menu (GtkMenu.Menu.cast
         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
@@ -52,38 +56,38 @@ 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 image77 =
+    val image85 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
-    method image77 = image77
+        (Glade.get_widget_msg ~name:"image85" ~info:"GtkImage" xmldata))
+    method image85 = image85
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image78 =
+    val image86 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
-    method image78 = image78
+        (Glade.get_widget_msg ~name:"image86" ~info:"GtkImage" xmldata))
+    method image86 = image86
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image79 =
+    val image87 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
-    method image79 = image79
+        (Glade.get_widget_msg ~name:"image87" ~info:"GtkImage" xmldata))
+    method image87 = image87
     val separator1 =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
-        (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
+        (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
     method separator1 = separator1
     val quitMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method quitMenuItem = quitMenuItem
-    val image80 =
+    val image88 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
-    method image80 = image80
+        (Glade.get_widget_msg ~name:"image88" ~info:"GtkImage" xmldata))
+    method image88 = image88
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -114,7 +118,7 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
     method debugMenu_menu = debugMenu_menu
     val separator2 =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
-        (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
+        (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
     method separator2 = separator2
     val helpMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
@@ -136,6 +140,18 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
         (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
     method scrolledSequents = scrolledSequents
+    val viewport1 =
+      new GBin.viewport (GtkBin.Viewport.cast
+        (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
+    method viewport1 = viewport1
+    val sequentsNotebook =
+      new GPack.notebook (GtkPack.Notebook.cast
+        (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
+    method sequentsNotebook = sequentsNotebook
+    val consoleEventBox =
+      new GBin.event_box (GtkBin.EventBox.cast
+        (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
+    method consoleEventBox = consoleEventBox
     val scrolledConsole =
       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
         (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
@@ -145,7 +161,7 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
     method mainStatusBar = mainStatusBar
     method reparent parent =
-      mainWinShape#misc#reparent parent;
+      mainWinEventBox#misc#reparent parent;
       toplevel#destroy ()
     method check_widgets () = ()
   end
@@ -302,6 +318,10 @@ class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
     method aboutDismissButton = aboutDismissButton
+    val aboutLabel =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
+    method aboutLabel = aboutLabel
     method reparent parent =
       dialog_vbox2#misc#reparent parent;
       toplevel#destroy ()