From c9f0c0f4725533ee2294d416be82ca45dda2cabb Mon Sep 17 00:00:00 2001 From: ppedrot Date: Wed, 23 May 2012 15:21:17 +0000 Subject: Cleaned prerr_endline use. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15354 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/preferences.ml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'ide/preferences.ml') diff --git a/ide/preferences.ml b/ide/preferences.ml index 27245dd00..c8e7430f9 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -9,28 +9,28 @@ open Configwin open Printf -let pref_file = Filename.concat (Envars.xdg_config_home Minilib.prerr_endline) "coqiderc" -let accel_file = Filename.concat (Envars.xdg_config_home Minilib.prerr_endline) "coqide.keys" +let pref_file = Filename.concat (Envars.xdg_config_home Minilib.log) "coqiderc" +let accel_file = Filename.concat (Envars.xdg_config_home Minilib.log) "coqide.keys" let lang_manager = GSourceView2.source_language_manager ~default:true let () = lang_manager#set_search_path - ((Envars.xdg_data_dirs Minilib.prerr_endline)@lang_manager#search_path) + ((Envars.xdg_data_dirs Minilib.log)@lang_manager#search_path) let style_manager = GSourceView2.source_style_scheme_manager ~default:true let () = style_manager#set_search_path - ((Envars.xdg_data_dirs Minilib.prerr_endline)@style_manager#search_path) + ((Envars.xdg_data_dirs Minilib.log)@style_manager#search_path) let get_config_file name = let find_config dir = Sys.file_exists (Filename.concat dir name) in - let config_dir = List.find find_config (Envars.xdg_config_dirs Minilib.prerr_endline) in + let config_dir = List.find find_config (Envars.xdg_config_dirs Minilib.log) in Filename.concat config_dir name (* Small hack to handle v8.3 to v8.4 change in configuration file *) let loaded_pref_file = try get_config_file "coqiderc" - with Not_found -> Filename.concat (Envars.home Minilib.prerr_endline) ".coqiderc" + with Not_found -> Filename.concat (Envars.home Minilib.log) ".coqiderc" let loaded_accel_file = try get_config_file "coqide.keys" - with Not_found -> Filename.concat (Envars.home Minilib.prerr_endline) ".coqide.keys" + with Not_found -> Filename.concat (Envars.home Minilib.log) ".coqide.keys" let mod_to_str (m:Gdk.Tags.modifier) = match m with @@ -223,8 +223,8 @@ let current = { } let save_pref () = - if not (Sys.file_exists (Envars.xdg_config_home Minilib.prerr_endline)) - then Unix.mkdir (Envars.xdg_config_home Minilib.prerr_endline) 0o700; + if not (Sys.file_exists (Envars.xdg_config_home Minilib.log)) + then Unix.mkdir (Envars.xdg_config_home Minilib.log) 0o700; let () = try GtkData.AccelMap.save accel_file with _ -> () in let p = current in @@ -341,7 +341,7 @@ let load_pref () = v <> Coq_config.wwwcoq ^ "doc" && v <> Coq_config.wwwcoq ^ "doc/" then - (*prerr_endline ("Warning: Non-standard URL for Coq documentation in preference file: "^v);*) + (* ("Warning: Non-standard URL for Coq documentation in preference file: "^v);*) np.doc_url <- v); set_hd "library_url" (fun v -> np.library_url <- v); set_bool "show_toolbar" (fun v -> np.show_toolbar <- v); -- cgit v1.2.3