author | wenzelm |
Thu, 01 Sep 2016 14:57:36 +0200 | |
changeset 63747 | b9b5a0ab54ee |
parent 63746 | 962707e50fc0 |
child 63748 | ebcc70c120a9 |
--- 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