more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings();

--- a/src/Tools/jEdit/src/keymap_merge.scala	Sat Feb 17 19:37:18 2018 +0100
+++ b/src/Tools/jEdit/src/keymap_merge.scala	Sat Feb 17 20:03:37 2018 +0100
@@ -253,7 +253,7 @@
     no_shortcut_conflicts.foreach(_.set(keymap))
 
     keymap.save()
-    keymap_manager.reload()
     jEdit.saveSettings()
+    jEdit.propertiesChanged()
   }
 }