let _ =
(* disambiguator callbacks *)
- Disambiguate.set_choose_uris_callback
+ (* Disambiguate.set_choose_uris_callback
(fun ~selection_mode ?ok ?(enable_button_for_non_vars=false) ~title ~msg ->
interactive_uri_choice ~selection_mode ?ok_label:ok ~title ~msg ());
Disambiguate.set_choose_interp_callback (interactive_interp_choice ());
- Disambiguate.set_choose_disamb_callback (interactive_ast_choice ());
+ Disambiguate.set_choose_disamb_callback (interactive_ast_choice ());*)
(* gtk initialization *)
GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
ignore (GMain.Main.init ())