diff options
author | 2011-11-20 20:03:01 +0000 | |
---|---|---|
committer | 2011-11-20 20:03:01 +0000 | |
commit | 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 (patch) | |
tree | 259c4924513d58738b46d15dff1007bb68f389e5 /ide/preferences.ml | |
parent | e2da4610f7e27d289ada98383c079c3c939b20c6 (diff) |
CoqIdE configuration file won't pollute your home anymore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/preferences.ml')
-rw-r--r-- | ide/preferences.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 3f2c69acd..14608f984 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -10,9 +10,9 @@ open Configwin open Printf -let pref_file = Filename.concat Minilib.home ".coqiderc" +let pref_file = Filename.concat Minilib.xdg_config_home "coqiderc" -let accel_file = Filename.concat Minilib.home ".coqide.keys" +let accel_file = Filename.concat Minilib.xdg_config_home "coqide.keys" let mod_to_str (m:Gdk.Tags.modifier) = match m with @@ -168,6 +168,8 @@ let contextual_menus_on_goal = ref (fun x -> ()) let resize_window = ref (fun () -> ()) let save_pref () = + if not (Sys.file_exists Minilib.xdg_config_home) + then Unix.mkdir Minilib.xdg_config_home 0o700; (try GtkData.AccelMap.save accel_file with _ -> ()); let p = !current in |