X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathita%2FmathitaGeneratedGui.mli;h=6b72a8b272681488011509f1a68fbbe025008f1b;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=8fa10245ff49653b8602b6cf11a7aa2a56da4595;hpb=9c70cabfe7bcf809e746f2499902aa7f2f45ca6a;p=helm.git

diff --git a/helm/mathita/mathitaGeneratedGui.mli b/helm/mathita/mathitaGeneratedGui.mli
index 8fa10245f..6b72a8b27 100644
--- a/helm/mathita/mathitaGeneratedGui.mli
+++ b/helm/mathita/mathitaGeneratedGui.mli
@@ -5,16 +5,21 @@ class mainWin :
   unit ->
   object
     val aboutMenuItem : GMenu.menu_item
+    val debugMenu : GMenu.menu_item
+    val debugMenuItem0 : GMenu.menu_item
+    val debugMenuItem1 : GMenu.menu_item
+    val debugMenuItem2 : GMenu.menu_item
+    val debugMenu_menu : GMenu.menu
     val editMenu : GMenu.menu_item
     val fileMenu : GMenu.menu_item
     val fileMenu_menu : GMenu.menu
     val helpMenu : GMenu.menu_item
     val helpMenu_menu : GMenu.menu
-    val image13 : GMisc.image
-    val image14 : GMisc.image
-    val image15 : GMisc.image
-    val image16 : GMisc.image
-    val image17 : GMisc.image
+    val image40 : GMisc.image
+    val image41 : GMisc.image
+    val image42 : GMisc.image
+    val image43 : GMisc.image
+    val image44 : GMisc.image
     val mainMenuBar : GMenu.menu_shell
     val mainStatusBar : GMisc.statusbar
     val mainVPanes : GPack.paned
@@ -40,16 +45,21 @@ class mainWin :
     method aboutMenuItem : GMenu.menu_item
     method bind : name:string -> callback:(unit -> unit) -> unit
     method check_widgets : unit -> unit
+    method debugMenu : GMenu.menu_item
+    method debugMenuItem0 : GMenu.menu_item
+    method debugMenuItem1 : GMenu.menu_item
+    method debugMenuItem2 : GMenu.menu_item
+    method debugMenu_menu : GMenu.menu
     method editMenu : GMenu.menu_item
     method fileMenu : GMenu.menu_item
     method fileMenu_menu : GMenu.menu
     method helpMenu : GMenu.menu_item
     method helpMenu_menu : GMenu.menu
-    method image13 : GMisc.image
-    method image14 : GMisc.image
-    method image15 : GMisc.image
-    method image16 : GMisc.image
-    method image17 : GMisc.image
+    method image40 : GMisc.image
+    method image41 : GMisc.image
+    method image42 : GMisc.image
+    method image43 : GMisc.image
+    method image44 : GMisc.image
     method mainMenuBar : GMenu.menu_shell
     method mainStatusBar : GMisc.statusbar
     method mainVPanes : GPack.paned
@@ -274,4 +284,26 @@ class interpChoiceDialog :
     method vbox3 : GPack.box
     method xml : Glade.glade_xml Gtk.obj
   end
+class debug :
+  ?file:string ->
+  ?domain:string ->
+  ?autoconnect:bool ->
+  unit ->
+  object
+    val cancelbutton2 : GButton.button
+    val debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+    val dialog_vbox5 : GPack.box
+    val okbutton2 : GButton.button
+    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+    val xml : Glade.glade_xml Gtk.obj
+    method bind : name:string -> callback:(unit -> unit) -> unit
+    method cancelbutton2 : GButton.button
+    method check_widgets : unit -> unit
+    method debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+    method dialog_vbox5 : GPack.box
+    method okbutton2 : GButton.button
+    method reparent : GObj.widget -> unit
+    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+    method xml : Glade.glade_xml Gtk.obj
+  end
 val check_all : ?show:bool -> unit -> unit