From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 28 Dec 2010 20:10:50 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: make_still_working~2615
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=364d23cb116e167d3b23f6ef0412830e816e5e92;hp=4f5afdc73a5331357c3410858d5202a98832e59b;p=helm.git

Dead code removed.
---

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index a9ba50844..f38a27859 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -35,8 +35,6 @@ exception Found of int
 
 let all_disambiguation_passes = ref false
 
-let gui_instance = ref None
-
 (* this is a shit and should be changed :-{ *)
 let interactive_uri_choice
   ?(selection_mode:[`SINGLE|`MULTIPLE] = `MULTIPLE) ?(title = "")
@@ -1073,7 +1071,6 @@ class gui () =
 
 let gui () = 
   let g = new gui () in
-  gui_instance := Some g;
   MatitaMisc.set_gui g;
   g
   
diff --git a/matita/matita/matitaGui.mli b/matita/matita/matitaGui.mli
index d3c09a2f4..1618c1eeb 100644
--- a/matita/matita/matitaGui.mli
+++ b/matita/matita/matitaGui.mli
@@ -26,27 +26,4 @@
   (** for debugging only *)
 val all_disambiguation_passes: bool ref
 
-  (** 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 ->
-  id:'a -> NReference.reference list -> NReference.reference list
-
-  (** @raise MatitaTypes.Cancel *)
-val interactive_interp_choice:
-  unit ->
-    DisambiguateTypes.interactive_interpretation_choice_type
-