+*)
+ addDebugSeparator ();
+ addDebugItem "enable multiple disambiguation passes (default)"
+ (fun _ -> GrafiteDisambiguator.only_one_pass := false);
+ addDebugItem "enable only one disambiguation pass"
+ (fun _ -> GrafiteDisambiguator.only_one_pass := true);
+ addDebugItem "always show all disambiguation errors"
+ (fun _ -> MatitaGui.all_disambiguation_passes := true);
+ addDebugItem "prune disambiguation errors"
+ (fun _ -> MatitaGui.all_disambiguation_passes := false);
+ addDebugSeparator ();
+(* ZACK moved to the View menu
+ addDebugItem "enable coercions hiding"
+ (fun _ -> Acic2content.hide_coercions := true);
+ addDebugItem "disable coercions hiding"
+ (fun _ -> Acic2content.hide_coercions := false);
+*)
+ addDebugItem "show coercions graph" (fun _ ->
+ let c = MatitaMathView.cicBrowser () in
+ c#load (`About `Coercions));
+ addDebugItem "show coercions graph (full)" (fun _ ->
+ let c = MatitaMathView.cicBrowser () in
+ c#load (`About `CoercionsFull));
+ addDebugItem "dump coercions Db" (fun _ ->
+ List.iter
+ (fun (s,t,ul) ->
+ HLog.debug
+ ((String.concat ","
+ (List.map
+ (fun u,saturations,_ ->
+ UriManager.name_of_uri u ^
+ "(" ^ string_of_int saturations ^ ")")
+ ul)) ^ ":"
+ ^ CoercDb.string_of_carr s ^ " -> " ^ CoercDb.string_of_carr t))
+ (CoercDb.to_list ()));
+ addDebugSeparator ();
+ let mview () = (MatitaMathView.sequentsViewer_instance ())#cicMathView in
+(* addDebugItem "save (sequent) MathML to matita.xml"
+ (fun _ -> ignore ((Gdome.domImplementation ())#saveDocumentToFile
+ ~doc:(HExtlib.unopt (mview ())#get_document) ~name:"matita.xml" ())); *)
+ addDebugItem "load (sequent) MathML from matita.xml"
+ (fun _ -> (mview ())#load_uri ~filename:"matita.xml");
+ addDebugItem "autoWin"
+ (fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);