我是一名 Mac 新用户,并不是一名真正的 Emacs 用户。我只是用 emacs 来运行PVS 规范和验证系统,通过pvs
在终端中输入命令来启动软件。
Aquamacs 运行正常,但突然在运行某些文件(不是全部)时开始卡住.pvs
,包括一些之前运行正常的文件。我收到以下消息:
“进程过滤器中的错误:‘重新居中’一个不显示当前缓冲区的窗口”。
Aquamacs 窗口冻结,我只能使用 Mac 工具或关闭终端来强制结束它。错误开始时,我的 Mac 正在运行 macOS Mojave,但在我更新到 Catalina 后,错误仍然存在。
由于我是 Mac 新用户,也是 Emacs 的初学者,因此我非常感谢任何能解决这个问题的帮助。
答案1
尝试进入菜单并启用“选项 => 出错时进入调试器”。然后重现问题。希望您能获得回溯,该回溯应为您提供有关问题根源的更多信息。如果没有帮助,请发布该回溯(最好在 Emacs.SX 中,或者在此处发布)。