Dead code removed.

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index a9ba508441914f1bd086bb901823da27e7a97b3e..f38a278597a51f1dd7fbeaf23d7a97751bbd4271 100644 (file)
--- 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 d3c09a2f43cef4f9b4e348f412fa7868f9ba75a5..1618c1eebfb5f924aca1a126b52c51da1f9d0fd4 100644 (file)
--- 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
-