X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGeneratedGui.ml;h=11d5dcb9e41a7a7590ebc188b5ee9b10fed60a6c;hb=e097097df79962ad19cc1c4b75e8814b41fa1c64;hp=e9db307d44f8a1ec41ce34fc2038709352181f18;hpb=d0991ea0c7c83c100b2d223644cb2f11a8554fa1;p=helm.git

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index e9db307d4..11d5dcb9e 100644
--- 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 image182 =
+    val image224 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image182" ~info:"GtkImage" xmldata))
-    method image182 = image182
+        (Glade.get_widget_msg ~name:"image224" ~info:"GtkImage" xmldata))
+    method image224 = image224
     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 image183 =
+    val image225 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image183" ~info:"GtkImage" xmldata))
-    method image183 = image183
+        (Glade.get_widget_msg ~name:"image225" ~info:"GtkImage" xmldata))
+    method image225 = image225
     val saveMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveMenuItem = saveMenuItem
-    val image184 =
+    val image226 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image184" ~info:"GtkImage" xmldata))
-    method image184 = image184
+        (Glade.get_widget_msg ~name:"image226" ~info:"GtkImage" xmldata))
+    method image226 = image226
     val saveAsMenuItem =
       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
     method saveAsMenuItem = saveAsMenuItem
-    val image185 =
+    val image227 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image185" ~info:"GtkImage" xmldata))
-    method image185 = image185
+        (Glade.get_widget_msg ~name:"image227" ~info:"GtkImage" xmldata))
+    method image227 = image227
     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 image186 =
+    val image228 =
       new GMisc.image (GtkMisc.Image.cast
-        (Glade.get_widget_msg ~name:"image186" ~info:"GtkImage" xmldata))
-    method image186 = image186
+        (Glade.get_widget_msg ~name:"image228" ~info:"GtkImage" xmldata))
+    method image228 = image228
     val editMenu =
       new GMenu.menu_item (GtkMenu.MenuItem.cast
         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
@@ -104,14 +104,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
         (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
     method showToolBarMenuItem = showToolBarMenuItem
-    val showProofMenuItem =
-      new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
-        (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
-    method showProofMenuItem = showProofMenuItem
-    val showCheckMenuItem =
-      new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
-        (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata))
-    method showCheckMenuItem = showCheckMenuItem
+    val newCicBrowserMenuItem =
+      new GMenu.menu_item (GtkMenu.MenuItem.cast
+        (Glade.get_widget_msg ~name:"NewCicBrowserMenuItem" ~info:"GtkMenuItem" xmldata))
+    method newCicBrowserMenuItem = newCicBrowserMenuItem
     val showScriptMenuItem =
       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
         (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
@@ -189,31 +185,6 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       toplevel#destroy ()
     method check_widgets () = ()
   end
-class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
-  let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
-  object (self)
-    inherit Glade.xml ?autoconnect xmldata
-    val toplevel =
-      new GWindow.window (GtkWindow.Window.cast
-        (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
-    method toplevel = toplevel
-    val proofWin =
-      new GWindow.window (GtkWindow.Window.cast
-        (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
-    method proofWin = proofWin
-    val proofWinEventBox =
-      new GBin.event_box (GtkBin.EventBox.cast
-        (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
-    method proofWinEventBox = proofWinEventBox
-    val scrolledProof =
-      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
-        (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
-    method scrolledProof = scrolledProof
-    method reparent parent =
-      proofWinEventBox#misc#reparent parent;
-      toplevel#destroy ()
-    method check_widgets () = ()
-  end
 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
   object (self)
@@ -626,31 +597,6 @@ class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       toplevel#destroy ()
     method check_widgets () = ()
   end
-class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
-  let xmldata = Glade.create ~file  ~root:"CheckWin" ?domain () in
-  object (self)
-    inherit Glade.xml ?autoconnect xmldata
-    val toplevel =
-      new GWindow.window (GtkWindow.Window.cast
-        (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
-    method toplevel = toplevel
-    val checkWin =
-      new GWindow.window (GtkWindow.Window.cast
-        (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
-    method checkWin = checkWin
-    val checkWinEventBox =
-      new GBin.event_box (GtkBin.EventBox.cast
-        (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
-    method checkWinEventBox = checkWinEventBox
-    val scrolledCheck =
-      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
-        (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
-    method scrolledCheck = scrolledCheck
-    method reparent parent =
-      checkWinEventBox#misc#reparent parent;
-      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)
@@ -667,18 +613,26 @@ 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 =
+    val vbox7 =
       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
+        (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
+    method vbox7 = vbox7
+    val handlebox2 =
+      new GBin.handle_box (GtkBin.HandleBox.cast
+        (Glade.get_widget_msg ~name:"handlebox2" ~info:"GtkHandleBox" xmldata))
+    method handlebox2 = handlebox2
+    val hbox8 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
+    method hbox8 = hbox8
+    val scriptWinTopButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"ScriptWinTopButton" ~info:"GtkButton" xmldata))
+    method scriptWinTopButton = scriptWinTopButton
+    val image235 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image235" ~info:"GtkImage" xmldata))
+    method image235 = image235
     val scriptWinBackButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
@@ -703,6 +657,18 @@ class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
     method image135 = image135
+    val scriptWinBottomButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"ScriptWinBottomButton" ~info:"GtkButton" xmldata))
+    method scriptWinBottomButton = scriptWinBottomButton
+    val image236 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image236" ~info:"GtkImage" xmldata))
+    method image236 = image236
+    val scriptNotebook =
+      new GPack.notebook (GtkPack.Notebook.cast
+        (Glade.get_widget_msg ~name:"ScriptNotebook" ~info:"GtkNotebook" xmldata))
+    method scriptNotebook = scriptNotebook
     val scrolledScript =
       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
         (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
@@ -715,10 +681,10 @@ class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMisc.label (GtkMisc.Label.cast
         (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
     method label7 = label7
-    val scrolledwindow3 =
+    val scrolledOutline =
       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
-        (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
-    method scrolledwindow3 = scrolledwindow3
+        (Glade.get_widget_msg ~name:"ScrolledOutline" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledOutline = scrolledOutline
     val treeview1 =
       new GTree.view (GtkTree.TreeView.cast
         (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
@@ -793,14 +759,26 @@ class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GBin.event_box (GtkBin.EventBox.cast
         (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
     method browserWinEventBox = browserWinEventBox
-    val vbox7 =
+    val browserVBox =
       new GPack.box (GtkPack.Box.cast
-        (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
-    method vbox7 = vbox7
+        (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
+    method browserVBox = browserVBox
+    val handlebox1 =
+      new GBin.handle_box (GtkBin.HandleBox.cast
+        (Glade.get_widget_msg ~name:"handlebox1" ~info:"GtkHandleBox" xmldata))
+    method handlebox1 = handlebox1
     val hbox7 =
       new GPack.box (GtkPack.Box.cast
         (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
     method hbox7 = hbox7
+    val browserNewButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
+    method browserNewButton = browserNewButton
+    val image191 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
+    method image191 = image191
     val browserBackButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
@@ -829,6 +807,14 @@ class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
     method image189 = image189
+    val browserRefreshButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
+    method browserRefreshButton = browserRefreshButton
+    val image229 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
+    method image229 = image229
     val browserHomeButton =
       new GButton.button (GtkButton.Button.cast
         (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
@@ -841,14 +827,18 @@ class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       new GMisc.image (GtkMisc.Image.cast
         (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
     method image187 = image187
-    val browserNotebook =
-      new GPack.notebook (GtkPack.Notebook.cast
-        (Glade.get_widget_msg ~name:"BrowserNotebook" ~info:"GtkNotebook" xmldata))
-    method browserNotebook = browserNotebook
-    val label9 =
-      new GMisc.label (GtkMisc.Label.cast
-        (Glade.get_widget_msg ~name:"label9" ~info:"GtkLabel" xmldata))
-    method label9 = label9
+    val browserUri =
+      new GEdit.entry (GtkEdit.Entry.cast
+        (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
+    method browserUri = browserUri
+    val frame1 =
+      new GBin.frame (GtkBin.Frame.cast
+        (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
+    method frame1 = frame1
+    val scrolledBrowser =
+      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+        (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
+    method scrolledBrowser = scrolledBrowser
     method reparent parent =
       browserWinEventBox#misc#reparent parent;
       toplevel#destroy ()
@@ -866,9 +856,6 @@ let check_all ?(show=false) () =
   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 ();
   let emptyDialog = new emptyDialog () in
   if show then emptyDialog#toplevel#show ();
   emptyDialog#check_widgets ();
@@ -890,9 +877,6 @@ let check_all ?(show=false) () =
   let fileSelectionWin = new fileSelectionWin () in
   if show then fileSelectionWin#toplevel#show ();
   fileSelectionWin#check_widgets ();
-  let proofWin = new proofWin () in
-  if show then proofWin#toplevel#show ();
-  proofWin#check_widgets ();
   let mainWin = new mainWin () in
   if show then mainWin#toplevel#show ();
   mainWin#check_widgets ();