cicDischarge: we still have some problems here. Some fixes

[helm.git] / helm / software / matita / matitaGuiTypes.mli

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index c9ef8612315169df35390dba041f1118da76566f..d42775827a0253ed5c4e893c58211ef0d6fc4eff 100644 (file)
--- a/helm/software/matita/matitaGuiTypes.mli
+++ b/helm/software/matita/matitaGuiTypes.mli
@@ -37,7 +37,7 @@ end
 class type browserWin =
 object
   inherit MatitaGeneratedGui.browserWin
-  method browserUri: GEdit.combo_box_entry
+  method browserUri: GEdit.entry
 end
 
 class type gui =
@@ -145,5 +145,6 @@ object
   (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
   method loadInput: string -> unit
   method mathView: clickableMathView
+  method win: browserWin
 end