changeset 63748 | ebcc70c120a9 |
parent 63747 | b9b5a0ab54ee |
child 63754 | 23b013b6b2fb |
--- a/src/Tools/jEdit/src/plugin.scala Thu Sep 01 14:57:36 2016 +0200 +++ b/src/Tools/jEdit/src/plugin.scala Thu Sep 01 15:18:14 2016 +0200 @@ -333,7 +333,7 @@ "It is for testing only, not for production use.") } - Keymap_Merge.check_dialog() + Keymap_Merge.check_dialog(jEdit.getActiveView()) Session_Build.session_build(jEdit.getActiveView())