Isabelle/jEdit中Emacs Set Mark命令无法正常生效问题求助

• 打开Isabelle/jEdit的全局配置：点击顶部菜单栏「实用工具」→「全局选项」→「快捷键」，在搜索栏输入Emacs Set Mark，删除该命令现有的所有快捷键绑定，排除旧绑定冲突。
• 重新为该命令绑定快捷键：macOS环境下不要使用默认的C-SPC（该组合键默认对应系统输入法切换，日式键盘下键码识别存在兼容问题），推荐绑定为Emacs原生的备用标记快捷键C-@，对应日式键盘的操作是按住Control+Shift+数字2键（日式键盘2键上刻印@符号），该组合键和系统、输入法的冲突概率极低。
• 若操作后仍出现minibuffer提示"Input/output complete"无响应的问题，修改Isabelle启动参数：打开Isabelle2021安装目录下的etc/settings文件，在文件末尾追加一行配置：
  JEDIT_JAVA_OPTIONS="$JEDIT_JAVA_OPTIONS -Dapple.awt.input.method.enabled=false"
  该配置会禁用Java内置的输入法联动逻辑，避免命令触发时被输入法拦截判定为输入结束。
• 保存配置后完全退出Isabelle/jEdit，重新启动即可生效，调用命令后即可正常设置标记，移动光标可选中对应区域。

该问题为Isabelle2021内置jEdit 5.6.0的macOS专属兼容问题，升级到Isabelle2022及以上版本也可直接解决。

内容的提问来源于stack exchange，提问作者Yosuke Ito