snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index 95ae9648ea7b90316454cc9f2fa3fbf9fed48947..a4423041f80fe755d9580187f81d0de06d38de43 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -544,10 +544,18 @@ class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) ()
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
     method vbox3 = vbox3
-    val label6 =
+    val interpChoiceDialogLabel =
       new GMisc.label (GtkMisc.Label.cast
-        (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
-    method label6 = label6
+        (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
+    method interpChoiceDialogLabel = interpChoiceDialogLabel
+    val scrolledwindow4 =
+      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+        (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledwindow4 = scrolledwindow4
+    val interpChoiceTreeView =
+      new GTree.view (GtkTree.TreeView.cast
+        (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
+    method interpChoiceTreeView = interpChoiceTreeView
     method reparent parent =
       dialog_vbox4#misc#reparent parent;
       toplevel#destroy ()
@@ -631,6 +639,10 @@ class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GBin.event_box (GtkBin.EventBox.cast
         (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
     method scriptWinEventBox = scriptWinEventBox
+    val scriptNotebook =
+      new GPack.notebook (GtkPack.Notebook.cast
+        (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
+    method scriptNotebook = scriptNotebook
     val vbox4 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
@@ -639,26 +651,26 @@ class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GButton.toolbar (GtkButton.Toolbar.cast
         (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
     method toolbar1 = toolbar1
-    val button5 =
+    val scriptWinBackButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"button5" ~info:"GtkButton" xmldata))
-    method button5 = button5
+        (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
+    method scriptWinBackButton = scriptWinBackButton
     val image133 =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
     method image133 = image133
-    val button6 =
+    val scriptWinJumpButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"button6" ~info:"GtkButton" xmldata))
-    method button6 = button6
+        (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
+    method scriptWinJumpButton = scriptWinJumpButton
     val image134 =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
     method image134 = image134
-    val button7 =
+    val scriptWinForwardButton =
       new GButton.button (GtkButton.Button.cast
-        (Glade.get_widget_msg ~name:"button7" ~info:"GtkButton" xmldata))
-    method button7 = button7
+        (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
+    method scriptWinForwardButton = scriptWinForwardButton
     val image135 =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
@@ -671,6 +683,22 @@ class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GText.view (GtkText.View.cast
         (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
     method scriptTextView = scriptTextView
+    val label7 =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
+    method label7 = label7
+    val scrolledwindow3 =
+      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+        (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledwindow3 = scrolledwindow3
+    val treeview1 =
+      new GTree.view (GtkTree.TreeView.cast
+        (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
+    method treeview1 = treeview1
+    val label8 =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
+    method label8 = label8
     method reparent parent =
       scriptWinEventBox#misc#reparent parent;
       toplevel#destroy ()