X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=b82cb394737dd2ea96d7e94a253f02e32713a005;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f7845f2e5c080f2781b2e1e1f69f2d246d91b7e2;hpb=cc465115cdeea9819f43a5ad219b07c4f928c43a;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index f7845f2e5..b82cb3947 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -1,4 +1,4 @@
-(* Copyright (C) 2004, HELM Team.
+(* Copyright (C) 2004-2005, HELM Team.
  * 
  * This file is part of HELM, an Hypertextual, Electronic
  * Library of Mathematics, developed at the Computer Science
@@ -23,37 +23,27 @@
  * http://helm.cs.unibo.it/
  *)
 
-(*
-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 :
-  string ->
-  object
-
-    method setQuitCallback : (unit -> unit) -> unit
-
-      (** {2 Access to low-level GTK widgets} *)
-
-    method about :        MatitaGeneratedGui.aboutWin
-    method fileSel :      MatitaGeneratedGui.fileSelectionWin
-    method main :         MatitaGeneratedGui.mainWin
-    method proof :        MatitaGeneratedGui.proofWin
-    method toolbar :      MatitaGeneratedGui.toolBarWin
-
-      (** {2 Dialogs instantiation}
-       * methods below create a new window on each invocation. You should
-       * remember to destroy windows after use *)
-
-    method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
-    method newInterpDialog:       unit -> MatitaGeneratedGui.interpChoiceDialog
-    method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
-    method newTextDialog:         unit -> MatitaGeneratedGui.textDialog
-
-  end
+  (** singleton instance of the gui *)
+val instance: unit -> MatitaGuiTypes.gui
+
+  (** {2 Disambiguation callbacks}
+  * Use singleton gui instance. *)
+
+  (** @param selection_mode selection mode in uri list, default to `MULTIPLE
+    * @param title window title, defaults to ""
+    * @param msg message for the user, defaults to ""
+    * @param nonvars_button enable button to exclude vars?, defaults to false
+    * @raise MatitaTypes.Cancel *)
+val interactive_uri_choice:
+  ?selection_mode:([`SINGLE|`MULTIPLE]) -> ?title:string ->
+  ?msg:string -> ?nonvars_button:bool -> 
+  ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
+  ?ok_action:[`AUTO|`SELECT] ->
+  ?copy_cb:(string -> unit) -> unit ->
+    MatitaDisambiguator.choose_uris_callback
+
+  (** @raise MatitaTypes.Cancel *)
+val interactive_interp_choice:
+  unit ->
+    MatitaDisambiguator.choose_interp_callback