emacs - 使用 Coq Proof General，Emacs 在每个周期执行。我该如何阻止它？

Question

我在 Aquamacs 上的 Emacs 中使用 Proof General 并且每次我写一个句点（“。”）时，一切都会被执行（直到那个句点）。这似乎是一种电动行为，但事实并非如此。所有其他键的行为正常。

我知道这是我不小心使用了一些键绑定时开始的某种模式。如果我重新启动会话，效果将停止，但我想知道使其停止（或启动）的键绑定。

你知道这种模式叫什么吗？我什至在网上都找不到。

Answer 1

通常，如果您陷入不知道名称的次要模式，则可以运行：

M-x describe-mode

这将列出所有当前活动的主要和次要模式，以及每个模式的描述。由此，您应该能够确定需要停用哪个。