snapshot

[helm.git] / helm / mathita / mathitaGui.mli

diff --git a/helm/mathita/mathitaGui.mli b/helm/mathita/mathitaGui.mli
index 0c19204a664c6e4bc142360a59753efe4fe97920..4dcc0a5d7f36064b94241eeaea63ec9c4e760073 100644 (file)
--- a/helm/mathita/mathitaGui.mli
+++ b/helm/mathita/mathitaGui.mli
@@ -23,7 +23,13 @@
  * http://helm.cs.unibo.it/
  *)
 
-open MathitaGeneratedGui
+(*
+class type stringListModel =
+  object
+    method clear: unit -> unit
+    method append: string -> unit
+  end
+*)
 
   (** @param fname name of the Glade file describing the GUI *)
 class gui :
@@ -32,16 +38,18 @@ class gui :
 
     method setQuitCallback : (unit -> unit) -> unit
 
+    method uriChoices: MathitaGtkMisc.stringListModel
+
       (** {2 Access to low-level GTK widgets} *)
 
-    method about : MathitaGeneratedGui.aboutWin
-    method dialog : MathitaGeneratedGui.genericDialog
-    method fileSel : MathitaGeneratedGui.fileSelectionWin
+    method about :        MathitaGeneratedGui.aboutWin
+    method dialog :       MathitaGeneratedGui.genericDialog
+    method fileSel :      MathitaGeneratedGui.fileSelectionWin
     method interpChoice : MathitaGeneratedGui.interpChoiceDialog
-    method main : MathitaGeneratedGui.mainWin
-    method proof : MathitaGeneratedGui.proofWin
-    method toolbar : MathitaGeneratedGui.toolBarWin
-    method uriChoice : MathitaGeneratedGui.uriChoiceDialog
+    method main :         MathitaGeneratedGui.mainWin
+    method proof :        MathitaGeneratedGui.proofWin
+    method toolbar :      MathitaGeneratedGui.toolBarWin
+    method uriChoice :    MathitaGeneratedGui.uriChoiceDialog
 
   end