X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=42922140c090de3a7f73ca3b00bd3adf2ffcc719;hb=53ee2f5095adadffcafb40e436d23dc330d3bd87;hp=f517bbb9cb3c59415cc6e87933e353af687e3ec5;hpb=0a9583936e33eb9d65361537fd1e05168d423d11;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index f517bbb9c..42922140c 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -34,6 +34,12 @@ object
   method log_callback: MatitaLog.log_callback
 end
 
+class type browserWin =
+object
+  inherit MatitaGeneratedGui.browserWin
+  method browserUri: GEdit.combo_box_entry
+end
+
   (** @param fname name of the Glade file describing the GUI *)
 class type gui =
 object
@@ -48,12 +54,13 @@ object
 (*   method toolbar :      MatitaGeneratedGui.toolBarWin *)
 
   method console:       console
+  method sourceView:    GSourceView.source_view
 
     (** {2 Dialogs instantiation}
      * methods below create a new window on each invocation. You should
      * remember to destroy windows after use *)
 
-  method newBrowserWin:         unit -> MatitaGeneratedGui.browserWin
+  method newBrowserWin:         unit -> browserWin
   method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
   method newInterpDialog:       unit -> MatitaGeneratedGui.interpChoiceDialog
   method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog