snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index e9db307d44f8a1ec41ce34fc2038709352181f18..689984774b7369816c5f9ced0825d143b049a5b3 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -841,14 +841,14 @@ 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 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 ()