diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-16 12:49:17 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-16 12:49:17 +0000 |
commit | 2e30c99c1b3bd7e39229efe041ca4677e27fd673 (patch) | |
tree | a26c9660607b28fe6d8b9ea3686f269e8b49e797 /ide/preferences.ml | |
parent | c5e6d03b4dc5a5f4dc2037fa19cb5f319aafb188 (diff) |
Revert commit 15287 : the env variables are indeed access at launch-time
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15331 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/preferences.ml')
-rw-r--r-- | ide/preferences.ml | 42 |
1 files changed, 18 insertions, 24 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 11a10eb6e..d54bb55d3 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -9,15 +9,29 @@ open Configwin open Printf +let pref_file = Filename.concat Minilib.xdg_config_home "coqiderc" +let accel_file = Filename.concat Minilib.xdg_config_home "coqide.keys" let lang_manager = GSourceView2.source_language_manager ~default:true +let () = lang_manager#set_search_path + (Minilib.xdg_data_dirs@lang_manager#search_path) let style_manager = GSourceView2.source_style_scheme_manager ~default:true +let () = style_manager#set_search_path + (Minilib.xdg_data_dirs@style_manager#search_path) let get_config_file name = - let config_dirs = Minilib.xdg_config_dirs () in let find_config dir = Sys.file_exists (Filename.concat dir name) in - let config_dir = List.find find_config config_dirs in + let config_dir = List.find find_config Minilib.xdg_config_dirs 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 Minilib.home ".coqiderc" + +let loaded_accel_file = + try get_config_file "coqide.keys" + with Not_found -> Filename.concat Minilib.home ".coqide.keys" + let mod_to_str (m:Gdk.Tags.modifier) = match m with | `MOD1 -> "<Alt>" @@ -209,11 +223,8 @@ let current = { } let save_pref () = - let home = Minilib.xdg_config_home () in - let pref_file = Filename.concat home "coqiderc" in - let accel_file = Filename.concat home "coqide.keys" in - if not (Sys.file_exists home) - then Unix.mkdir home 0o700; + if not (Sys.file_exists Minilib.xdg_config_home) + then Unix.mkdir Minilib.xdg_config_home 0o700; let () = try GtkData.AccelMap.save accel_file with _ -> () in let p = current in @@ -277,22 +288,6 @@ let save_pref () = Config_lexer.print_file pref_file let load_pref () = - - (* 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 -> - let home = Minilib.home () in - Filename.concat home ".coqiderc" - in - - let loaded_accel_file = - try get_config_file "coqide.keys" - with Not_found -> - let home = Minilib.home () in - Filename.concat home ".coqide.keys" - in - let () = try GtkData.AccelMap.load loaded_accel_file with _ -> () in let m = Config_lexer.load_file loaded_pref_file in @@ -629,7 +624,6 @@ let configure ?(apply=(fun () -> ())) () = current.source_style <- s; !refresh_style_hook () in - let () = style_manager#force_rescan () in combo "Highlighting style:" ~f ~new_allowed:false style_manager#style_scheme_ids current.source_style |