]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/matitaGeneratedGui.ml
snapshot
[helm.git] / helm / matita / matitaGeneratedGui.ml
index f912ef0f9c5bc92e3ff7bb2980194a6b165b069f..4219d70303da9b69f3a18196929bf7fc3709e980 100644 (file)
@@ -32,10 +32,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 image40 =
+    val image76 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image40" ~info:"GtkImage" xmldata))
-    method image40 = image40
+        (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
+    method image76 = image76
     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="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 image41 =
+    val image77 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image41" ~info:"GtkImage" xmldata))
-    method image41 = image41
+        (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
+    method image77 = image77
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image42 =
+    val image78 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image42" ~info:"GtkImage" xmldata))
-    method image42 = image42
+        (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
+    method image78 = image78
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image43 =
+    val image79 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image43" ~info:"GtkImage" xmldata))
-    method image43 = image43
+        (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
+    method image79 = image79
     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="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 image44 =
+    val image80 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image44" ~info:"GtkImage" xmldata))
-    method image44 = image44
+        (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
+    method image80 = image80
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -112,18 +112,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.menu (GtkMenu.Menu.cast
         (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
     method debugMenu_menu = debugMenu_menu
-    val debugMenuItem0 =
+    val separator2 =
       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
+        (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
+    method separator2 = separator2
     val helpMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
@@ -249,30 +241,34 @@ class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       toplevel#destroy ()
     method check_widgets () = ()
   end
-class genericDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
-  let xmldata = Glade.create ~file  ~root:"GenericDialog" ?domain () in
+class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+  let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?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:"GenericDialog" ~info:"GtkDialog" xmldata))
+        (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+    val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
       new GWindow.dialog (GtkWindow.Dialog.cast
-        (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
-    method genericDialog = genericDialog
+        (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
+    method confirmationDialog = confirmationDialog
     val dialog_vbox1 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
     method dialog_vbox1 = dialog_vbox1
-    val cancelbutton1 =
+    val confirmationDialogCancelButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
-    method cancelbutton1 = cancelbutton1
-    val okbutton1 =
+        (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
+    method confirmationDialogCancelButton = confirmationDialogCancelButton
+    val confirmationDialogOkButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
-    method okbutton1 = okbutton1
+        (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
+    method confirmationDialogOkButton = confirmationDialogOkButton
+    val confirmationDialogLabel =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
+    method confirmationDialogLabel = confirmationDialogLabel
     method reparent parent =
       dialog_vbox1#misc#reparent parent;
       toplevel#destroy ()
@@ -441,41 +437,45 @@ class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) ()
       toplevel#destroy ()
     method check_widgets () = ()
   end
-class debug ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
-  let xmldata = Glade.create ~file  ~root:"Debug" ?domain () in
+class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+  let xmldata = Glade.create ~file  ~root:"TextDialog" ?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))
+        (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
     method toplevel = toplevel
-    val debug : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+    val textDialog : [`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 =
+        (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
+    method textDialog = textDialog
+    val textDialogVBox =
       new GPack.box (GtkPack.Box.cast
-        (Glade.get_widget_msg ~name:"dialog-vbox5" ~info:"GtkVBox" xmldata))
-    method dialog_vbox5 = dialog_vbox5
-    val cancelbutton2 =
+        (Glade.get_widget_msg ~name:"TextDialogVBox" ~info:"GtkVBox" xmldata))
+    method textDialogVBox = textDialogVBox
+    val textDialogCancelButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"cancelbutton2" ~info:"GtkButton" xmldata))
-    method cancelbutton2 = cancelbutton2
-    val okbutton2 =
+        (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
+    method textDialogCancelButton = textDialogCancelButton
+    val textDialogOkButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
-    method okbutton2 = okbutton2
+        (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
+    method textDialogOkButton = textDialogOkButton
+    val textDialogLabel =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
+    method textDialogLabel = textDialogLabel
     method reparent parent =
-      dialog_vbox5#misc#reparent parent;
+      textDialogVBox#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 textDialog = new textDialog () in
+  if show then textDialog#toplevel#show ();
+  textDialog#check_widgets ();
   let interpChoiceDialog = new interpChoiceDialog () in
   if show then interpChoiceDialog#toplevel#show ();
   interpChoiceDialog#check_widgets ();
@@ -485,9 +485,9 @@ let check_all ?(show=false) () =
   let aboutWin = new aboutWin () in
   if show then aboutWin#toplevel#show ();
   aboutWin#check_widgets ();
-  let genericDialog = new genericDialog () in
-  if show then genericDialog#toplevel#show ();
-  genericDialog#check_widgets ();
+  let confirmationDialog = new confirmationDialog () in
+  if show then confirmationDialog#toplevel#show ();
+  confirmationDialog#check_widgets ();
   let toolBarWin = new toolBarWin () in
   if show then toolBarWin#toplevel#show ();
   toolBarWin#check_widgets ();