snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml
index f21a1967be6b46125e69d72f77aba146a0a6de49..e9db307d44f8a1ec41ce34fc2038709352181f18 100644 (file)
--- a/helm/matita/matitaGeneratedGui.ml
+++ b/helm/matita/matitaGeneratedGui.ml
@@ -777,9 +777,89 @@ class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
       toplevel#destroy ()
     method check_widgets () = ()
   end
+class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
+  let xmldata = Glade.create ~file  ~root:"BrowserWin" ?domain () in
+  object (self)
+    inherit Glade.xml ?autoconnect xmldata
+    val toplevel =
+      new GWindow.window (GtkWindow.Window.cast
+        (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
+    method toplevel = toplevel
+    val browserWin =
+      new GWindow.window (GtkWindow.Window.cast
+        (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
+    method browserWin = browserWin
+    val browserWinEventBox =
+      new GBin.event_box (GtkBin.EventBox.cast
+        (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
+    method browserWinEventBox = browserWinEventBox
+    val vbox7 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
+    method vbox7 = vbox7
+    val hbox7 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
+    method hbox7 = hbox7
+    val browserBackButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
+    method browserBackButton = browserBackButton
+    val alignment3 =
+      new GBin.alignment (GtkBin.Alignment.cast
+        (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
+    method alignment3 = alignment3
+    val hbox6 =
+      new GPack.box (GtkPack.Box.cast
+        (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
+    method hbox6 = hbox6
+    val image188 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
+    method image188 = image188
+    val label10 =
+      new GMisc.label (GtkMisc.Label.cast
+        (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
+    method label10 = label10
+    val browserForwardButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
+    method browserForwardButton = browserForwardButton
+    val image189 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
+    method image189 = image189
+    val browserHomeButton =
+      new GButton.button (GtkButton.Button.cast
+        (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
+    method browserHomeButton = browserHomeButton
+    val image190 =
+      new GMisc.image (GtkMisc.Image.cast
+        (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
+    method image190 = image190
+    val image187 =
+      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
+    method reparent parent =
+      browserWinEventBox#misc#reparent parent;
+      toplevel#destroy ()
+    method check_widgets () = ()
+  end
 
 let check_all ?(show=false) () =
   ignore (GMain.Main.init ());
+  let browserWin = new browserWin () in
+  if show then browserWin#toplevel#show ();
+  browserWin#check_widgets ();
   let textDialog = new textDialog () in
   if show then textDialog#toplevel#show ();
   textDialog#check_widgets ();