diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-21 16:58:35 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-21 16:58:35 +0000 |
commit | 5e62a6a476c925e58e169e43468ed0cee422bb1a (patch) | |
tree | c1df85d0afa81d1f06d0a142cf4210ccc928d65b /ide/coqide_main.ml4 | |
parent | 885bddb65bd236d2e1e9e8c5a44cec688036213b (diff) |
coqide default pref files are by default in /etc/xdg/coq/
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14715 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide_main.ml4')
-rw-r--r-- | ide/coqide_main.ml4 | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index 36257e8db..650cf9274 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -73,12 +73,14 @@ let () = Minilib.coqlib := Coq.check_coqlib args; Coqide.sup_args := args; Coqide.ignore_break (); - GtkMain.Rc.add_default_file (Ideutils.lib_ide_file "coqide-gtk2rc"); - (try - GtkMain.Rc.add_default_file (Filename.concat Minilib.xdg_config_home "coqide-gtk2rc"); - with Not_found -> ()); - ignore (GtkMain.Main.init ()); - initmac () ; + (try + let gtkrcdir = List.find + (fun x -> Sys.file_exists (Filename.concat x "coqide-gtk2rc")) + Minilib.xdg_config_dirs in + GtkMain.Rc.add_default_file (Filename.concat gtkrcdir "coqide-gtk2rc"); + with Not_found -> ()); + ignore (GtkMain.Main.init ()); + initmac () ; (* GtkData.AccelGroup.set_default_mod_mask (Some [`CONTROL;`SHIFT;`MOD1;`MOD3;`MOD4]);*) ignore ( |