# HG changeset patch
# User wenzelm
# Date 1472734656 -7200
# Node ID b9b5a0ab54eefdc3d49c13c80e280d5cba10267a
# Parent  962707e50fc043aa75459f6a62c64958af33dec9
check keymap changes on startup;

diff -r 962707e50fc0 -r b9b5a0ab54ee src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Thu Sep 01 14:57:04 2016 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Sep 01 14:57:36 2016 +0200
@@ -333,6 +333,8 @@
               "It is for testing only, not for production use.")
           }
 
+          Keymap_Merge.check_dialog()
+
           Session_Build.session_build(jEdit.getActiveView())
 
         case msg: BufferUpdate