From 3149d03bd4e8879045819d6cfc67ae4e0ccaf1fc Mon Sep 17 00:00:00 2001
From: charguer
Date: Tue, 13 Nov 2018 10:32:02 +0100
Subject: implementation installation of default unicode bindings

---
 ide/preferences.ml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'ide')

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 7cca715dc3..205961261a 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -254,10 +254,12 @@ let get_bindings_local_file () =
   with Not_found -> None
 
 let get_bindings_default_file () =
-  let ( / ) = Filename.concat in
-  let path = Envars.coqlib () / "ide/default.bindings" in
-  Printf.eprintf "==> %s\n" path;
-  if Sys.file_exists path then Some path else None
+  let name = "default.bindings" in
+  let chk d = Sys.file_exists (Filename.concat d name) in
+  try
+    let dir = List.find chk (Minilib.coqide_data_dirs ()) in
+    Some (Filename.concat dir name)
+  with Not_found -> None
 
 (** Hooks *)
 
-- 
cgit v1.2.3