X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2FmathitaGeneratedGui.ml;h=2b2e03ded96152a386eb6fe8485db4fc540821c5;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=f09c13a114f8705f814c09163347d1d448042795;hpb=9c70cabfe7bcf809e746f2499902aa7f2f45ca6a;p=helm.git

diff --git a/helm/mathita/mathitaGeneratedGui.ml b/helm/mathita/mathitaGeneratedGui.ml
index f09c13a11..2b2e03ded 100644
--- a/helm/mathita/mathitaGeneratedGui.ml
+++ b/helm/mathita/mathitaGeneratedGui.ml
@@ -32,10 +32,10 @@ class mainWin ?(file="mathita.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 image13 =
+    val image40 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image13" ~info:"GtkImage" xmldata))
-    method image13 = image13
+        (Glade.get_widget_msg ~name:"image40" ~info:"GtkImage" xmldata))
+    method image40 = image40
     val newMenu_menu =
       new GMenu.menu (GtkMenu.Menu.cast
         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
@@ -52,26 +52,26 @@ class mainWin ?(file="mathita.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 image14 =
+    val image41 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image14" ~info:"GtkImage" xmldata))
-    method image14 = image14
+        (Glade.get_widget_msg ~name:"image41" ~info:"GtkImage" xmldata))
+    method image41 = image41
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image15 =
+    val image42 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image15" ~info:"GtkImage" xmldata))
-    method image15 = image15
+        (Glade.get_widget_msg ~name:"image42" ~info:"GtkImage" xmldata))
+    method image42 = image42
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image16 =
+    val image43 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image16" ~info:"GtkImage" xmldata))
-    method image16 = image16
+        (Glade.get_widget_msg ~name:"image43" ~info:"GtkImage" xmldata))
+    method image43 = image43
     val separator1 =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
@@ -80,10 +80,10 @@ class mainWin ?(file="mathita.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 image17 =
+    val image44 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image17" ~info:"GtkImage" xmldata))
-    method image17 = image17
+        (Glade.get_widget_msg ~name:"image44" ~info:"GtkImage" xmldata))
+    method image44 = image44
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -104,6 +104,26 @@ class mainWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
         (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
     method showProofMenuItem = showProofMenuItem
+    val debugMenu =
+      new GMenu.menu_item (GtkMenu.MenuItem.cast
+        (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
+    method debugMenu = debugMenu
+    val debugMenu_menu =
+      new GMenu.menu (GtkMenu.Menu.cast
+        (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
+    method debugMenu_menu = debugMenu_menu
+    val debugMenuItem0 =
+      new GMenu.menu_item (GtkMenu.MenuItem.cast
+        (Glade.get_widget_msg ~name:"DebugMenuItem0" ~info:"GtkMenuItem" xmldata))
+    method debugMenuItem0 = debugMenuItem0
+    val debugMenuItem1 =
+      new GMenu.menu_item (GtkMenu.MenuItem.cast
+        (Glade.get_widget_msg ~name:"DebugMenuItem1" ~info:"GtkMenuItem" xmldata))
+    method debugMenuItem1 = debugMenuItem1
+    val debugMenuItem2 =
+      new GMenu.menu_item (GtkMenu.MenuItem.cast
+        (Glade.get_widget_msg ~name:"DebugMenuItem2" ~info:"GtkMenuItem" xmldata))
+    method debugMenuItem2 = debugMenuItem2
     val helpMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
@@ -421,9 +441,41 @@ class interpChoiceDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) (
       toplevel#destroy ()
     method check_widgets () = ()
   end
+class debug ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
+  let xmldata = Glade.create ~file  ~root:"Debug" ?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
+        (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+    method toplevel = toplevel
+    val debug : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+      new GWindow.dialog (GtkWindow.Dialog.cast
+        (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
+    method debug = debug
+    val dialog_vbox5 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"dialog-vbox5" ~info:"GtkVBox" xmldata))
+    method dialog_vbox5 = dialog_vbox5
+    val cancelbutton2 =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"cancelbutton2" ~info:"GtkButton" xmldata))
+    method cancelbutton2 = cancelbutton2
+    val okbutton2 =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
+    method okbutton2 = okbutton2
+    method reparent parent =
+      dialog_vbox5#misc#reparent parent;
+      toplevel#destroy ()
+    method check_widgets () = ()
+  end
 
 let check_all ?(show=false) () =
   ignore (GMain.Main.init ());
+  let debug = new debug () in
+  if show then debug#toplevel#show ();
+  debug#check_widgets ();
   let interpChoiceDialog = new interpChoiceDialog () in
   if show then interpChoiceDialog#toplevel#show ();
   interpChoiceDialog#check_widgets ();