src/Tools/jEdit/src/plugin.scala

             GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
               "This is " + Distribution.version + ".",
               "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())
 
         case msg: BufferUpdate
         if msg.getWhat == BufferUpdate.LOADED ||