From 9b2cbdcdaac203999484ef90225f6cba5e8052db Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 22:19:15 +0200
Subject: CoqiDE: Load coqide.keys after coqiderc (addressing part of #9899).

This avoids the modifiers keys to overwrite changes made in
coqide.keys.
---
 ide/preferences.ml | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 47cd4c58b6..57bc0f583f 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -658,15 +658,18 @@ let save_pref () =
   Config_lexer.print_file pref_file prefs
 
 let load_pref () =
+  (* Load main preference file *)
+  let () =
+    let m = Config_lexer.load_file loaded_pref_file in
+    let iter name v =
+      if Util.String.Map.mem name !preferences then
+        try (Util.String.Map.find name !preferences).set v with _ -> ()
+      else unknown_preferences := Util.String.Map.add name v !unknown_preferences
+    in
+    Util.String.Map.iter iter m in
+  (* Load file for bindings *)
   let () = try GtkData.AccelMap.load loaded_accel_file with _ -> () in
-
-  let m = Config_lexer.load_file loaded_pref_file in
-  let iter name v =
-    if Util.String.Map.mem name !preferences then
-      try (Util.String.Map.find name !preferences).set v with _ -> ()
-    else unknown_preferences := Util.String.Map.add name v !unknown_preferences
-  in
-  Util.String.Map.iter iter m
+  ()
 
 let pstring name p = string ~f:p#set name p#get
 let pbool name p = bool ~f:p#set name p#get
-- 
cgit v1.2.3


From b1a22c6e7584dce2a8294cb29ddada39173ced8a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 22:21:49 +0200
Subject: CoqIDE, cosmetic: removing obsolete comments.

There is no more uses of "old style preferences" but the comment was
still there.
---
 ide/preferences.ml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 57bc0f583f..3893d023bd 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -263,8 +263,6 @@ let get_unicode_bindings_default_file () =
 
 (** Hooks *)
 
-(** New style preferences *)
-
 let cmd_coqtop =
   new preference ~name:["cmd_coqtop"] ~init:None ~repr:Repr.(option string)
 
@@ -645,8 +643,6 @@ let tag_button () =
   let box = GPack.hbox () in
   new tag_button (Gobject.unsafe_cast box#as_widget)
 
-(** Old style preferences *)
-
 let save_pref () =
   if not (Sys.file_exists (Minilib.coqide_config_home ()))
   then Unix.mkdir (Minilib.coqide_config_home ()) 0o700;
-- 
cgit v1.2.3


From 8edf5a8e278f0bfa60207fe825a6d993e5be6ec2 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 22:27:40 +0200
Subject: Updating CHANGES.

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index fc7272da65..9a292562ed 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -22,6 +22,9 @@ Coqide
 - CoqIDE now properly sets the module name for a given file based on
   its path, see -topfile change entry for more details.
 
+- Preferences from coqide.keys are no longer overridden by modifiers
+  preferences in coqiderc.
+
 Coqtop
 
 - the use of `coqtop` as a compiler has been deprecated, in favor of
-- 
cgit v1.2.3