changeset 63754 | 23b013b6b2fb |
parent 63748 | ebcc70c120a9 |
child 64478 | 812c22e556b9 |
--- a/src/Tools/jEdit/src/plugin.scala Thu Sep 01 17:35:01 2016 +0200 +++ b/src/Tools/jEdit/src/plugin.scala Thu Sep 01 17:35:17 2016 +0200 @@ -333,9 +333,9 @@ "It is for testing only, not for production use.") } - Keymap_Merge.check_dialog(jEdit.getActiveView()) + Session_Build.session_build(jEdit.getActiveView()) - Session_Build.session_build(jEdit.getActiveView()) + Keymap_Merge.check_dialog(jEdit.getActiveView()) case msg: BufferUpdate if msg.getWhat == BufferUpdate.LOADED ||