check keymap changes on startup;
authorwenzelm
Thu, 01 Sep 2016 14:57:36 +0200
changeset 63747 b9b5a0ab54ee
parent 63746 962707e50fc0
child 63748 ebcc70c120a9
check keymap changes on startup;
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