snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index 943f78ff861aed5f70ba13a55bed0a70f34a7e1c..cb72003911751663dc69a2441870910f25f20a79 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -36,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 image116 =
+    val image128 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image116" ~info:"GtkImage" xmldata))
-    method image116 = image116
+        (Glade.get_widget_msg ~name:"image128" ~info:"GtkImage" xmldata))
+    method image128 = image128
     val newMenu_menu =
       new GMenu.menu (GtkMenu.Menu.cast
         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
@@ -56,26 +56,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 image117 =
+    val image129 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image117" ~info:"GtkImage" xmldata))
-    method image117 = image117
+        (Glade.get_widget_msg ~name:"image129" ~info:"GtkImage" xmldata))
+    method image129 = image129
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image118 =
+    val image130 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image118" ~info:"GtkImage" xmldata))
-    method image118 = image118
+        (Glade.get_widget_msg ~name:"image130" ~info:"GtkImage" xmldata))
+    method image130 = image130
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image119 =
+    val image131 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image119" ~info:"GtkImage" xmldata))
-    method image119 = image119
+        (Glade.get_widget_msg ~name:"image131" ~info:"GtkImage" xmldata))
+    method image131 = image131
     val separator1 =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
@@ -84,10 +84,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 image120 =
+    val image132 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image120" ~info:"GtkImage" xmldata))
-    method image120 = image120
+        (Glade.get_widget_msg ~name:"image132" ~info:"GtkImage" xmldata))
+    method image132 = image132
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -112,6 +112,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
         (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata))
     method showCheckMenuItem = showCheckMenuItem
+    val showScriptMenuItem =
+      new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
+        (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
+    method showScriptMenuItem = showScriptMenuItem
     val debugMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
@@ -206,14 +210,14 @@ class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GWindow.file_selection (GtkWindow.FileSelection.cast
         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
     method fileSelectionWin = fileSelectionWin
-    val cancel_button1 =
+    val fileSelCancelButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
-    method cancel_button1 = cancel_button1
-    val ok_button1 =
+        (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
+    method fileSelCancelButton = fileSelCancelButton
+    val fileSelOkButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
-    method ok_button1 = ok_button1
+        (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
+    method fileSelOkButton = fileSelOkButton
     method check_widgets () = ()
   end
 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
@@ -539,9 +543,73 @@ class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       toplevel#destroy ()
     method check_widgets () = ()
   end
+class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+  let xmldata = Glade.create ~file  ~root:"ScriptWin" ?domain () in
+  object (self)
+    inherit Glade.xml ?autoconnect xmldata
+    val toplevel =
+      new GWindow.window (GtkWindow.Window.cast
+        (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
+    method toplevel = toplevel
+    val scriptWin =
+      new GWindow.window (GtkWindow.Window.cast
+        (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
+    method scriptWin = scriptWin
+    val scriptWinEventBox =
+      new GBin.event_box (GtkBin.EventBox.cast
+        (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
+    method scriptWinEventBox = scriptWinEventBox
+    val vbox4 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
+    method vbox4 = vbox4
+    val toolbar1 =
+      new GButton.toolbar (GtkButton.Toolbar.cast
+        (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
+    method toolbar1 = toolbar1
+    val button5 =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"button5" ~info:"GtkButton" xmldata))
+    method button5 = button5
+    val image133 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
+    method image133 = image133
+    val button6 =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"button6" ~info:"GtkButton" xmldata))
+    method button6 = button6
+    val image134 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
+    method image134 = image134
+    val button7 =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"button7" ~info:"GtkButton" xmldata))
+    method button7 = button7
+    val image135 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
+    method image135 = image135
+    val scrolledScript =
+      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+        (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledScript = scrolledScript
+    val scriptTextView =
+      new GText.view (GtkText.View.cast
+        (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
+    method scriptTextView = scriptTextView
+    method reparent parent =
+      scriptWinEventBox#misc#reparent parent;
+      toplevel#destroy ()
+    method check_widgets () = ()
+  end
 
 let check_all ?(show=false) () =
   ignore (GMain.Main.init ());
+  let scriptWin = new scriptWin () in
+  if show then scriptWin#toplevel#show ();
+  scriptWin#check_widgets ();
   let checkWin = new checkWin () in
   if show then checkWin#toplevel#show ();
   checkWin#check_widgets ();