X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGeneratedGui.mli;h=a84c1328af3d27800718c5df68a2d6663be09d9c;hb=f38e8fafcf040258b54b4032562753a876a8a94e;hp=74b2adfd0f11e0e3e85933b3edd3d822434cef40;hpb=e35ec00b1be70e4b064b74a49735b37b5e719e5b;p=helm.git

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 74b2adfd0..a84c1328a 100644
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -16,11 +16,11 @@ class mainWin :
     val helpMenu_menu : GMenu.menu
     val hideConsoleButton : GButton.button
     val image169 : GMisc.image
-    val image174 : GMisc.image
-    val image175 : GMisc.image
-    val image176 : GMisc.image
-    val image177 : GMisc.image
-    val image178 : GMisc.image
+    val image182 : GMisc.image
+    val image183 : GMisc.image
+    val image184 : GMisc.image
+    val image185 : GMisc.image
+    val image186 : GMisc.image
     val mainMenuBar : GMenu.menu_shell
     val mainStatusBar : GMisc.statusbar
     val mainVPanes : GPack.paned
@@ -64,11 +64,11 @@ class mainWin :
     method helpMenu_menu : GMenu.menu
     method hideConsoleButton : GButton.button
     method image169 : GMisc.image
-    method image174 : GMisc.image
-    method image175 : GMisc.image
-    method image176 : GMisc.image
-    method image177 : GMisc.image
-    method image178 : GMisc.image
+    method image182 : GMisc.image
+    method image183 : GMisc.image
+    method image184 : GMisc.image
+    method image185 : GMisc.image
+    method image186 : GMisc.image
     method mainMenuBar : GMenu.menu_shell
     method mainStatusBar : GMisc.statusbar
     method mainVPanes : GPack.paned
@@ -477,4 +477,50 @@ class textDialog :
     method vbox5 : GPack.box
     method xml : Glade.glade_xml Gtk.obj
   end
+class browserWin :
+  ?file:string ->
+  ?domain:string ->
+  ?autoconnect:bool ->
+  unit ->
+  object
+    val alignment3 : GBin.alignment
+    val browserBackButton : GButton.button
+    val browserForwardButton : GButton.button
+    val browserHomeButton : GButton.button
+    val browserWin : GWindow.window
+    val browserWinEventBox : GBin.event_box
+    val frame1 : GBin.frame
+    val hbox6 : GPack.box
+    val hbox7 : GPack.box
+    val image187 : GMisc.image
+    val image188 : GMisc.image
+    val image189 : GMisc.image
+    val image190 : GMisc.image
+    val label10 : GMisc.label
+    val scrolledBrowser : GBin.scrolled_window
+    val toplevel : GWindow.window
+    val vbox7 : GPack.box
+    val xml : Glade.glade_xml Gtk.obj
+    method alignment3 : GBin.alignment
+    method bind : name:string -> callback:(unit -> unit) -> unit
+    method browserBackButton : GButton.button
+    method browserForwardButton : GButton.button
+    method browserHomeButton : GButton.button
+    method browserWin : GWindow.window
+    method browserWinEventBox : GBin.event_box
+    method check_widgets : unit -> unit
+    method frame1 : GBin.frame
+    method hbox6 : GPack.box
+    method hbox7 : GPack.box
+    method image187 : GMisc.image
+    method image188 : GMisc.image
+    method image189 : GMisc.image
+    method image190 : GMisc.image
+    method label10 : GMisc.label
+    method reparent : GObj.widget -> unit
+    method scrolledBrowser : GBin.scrolled_window
+    method toplevel : GWindow.window
+    method vbox7 : GPack.box
+    method xml : Glade.glade_xml Gtk.obj
+  end
 val check_all : ?show:bool -> unit -> unit