diff options
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 ( |