snapshot, notably:

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

diff --git a/helm/matita/matitaGeneratedGui.mli b/helm/matita/matitaGeneratedGui.mli
index 6572f1a6df690d6be8143ce1ae27ddb348df6242..113538361a591607cddf00b875adf3ef829a467f 100644 (file)
--- a/helm/matita/matitaGeneratedGui.mli
+++ b/helm/matita/matitaGeneratedGui.mli
@@ -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 browserNotebook : GPack.notebook
+    val browserWin : GWindow.window
+    val browserWinEventBox : GBin.event_box
+    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 label9 : GMisc.label
+    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 browserNotebook : GPack.notebook
+    method browserWin : GWindow.window
+    method browserWinEventBox : GBin.event_box
+    method check_widgets : unit -> unit
+    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 label9 : GMisc.label
+    method reparent : GObj.widget -> unit
+    method toplevel : GWindow.window
+    method vbox7 : GPack.box
+    method xml : Glade.glade_xml Gtk.obj
+  end
 val check_all : ?show:bool -> unit -> unit