使用Coq Proof General时，Emacs会在每个周期上执行。我该如何停止它？

Question

7

我正在Aquamacs中使用Emacs中的Proof General，每次我键入一个句号（“.”），所有内容都会被执行（直到那个句号）。它看起来像是电动行为，但事实并非如此。所有其他按键都表现正常。

我知道这是一种模式，当我意外使用某些键绑定时，它就会启动。如果我重新启动会话，效果将停止，但我想知道使其停止（或启动）的键绑定。

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

- Skuge

2

你处于哪个主要模式（通常是编程语言模式）？ - Dan

我正在使用Proof General来运行Coq。 - Skuge

1

当你运行 M-x describe-mode 时，你会得到什么？ - Dan

1

谢谢Dan！我不知道你可以这样做。模式是“proof-electric-terminator”。使用C-c terminator-toggle切换。 - Skuge

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Dan · Accepted Answer

通常情况下，如果您卡在一个未知名称的小模式中，您可以运行：

M-x describe-mode

这将列出所有当前活动的主要和次要模式，并对每个模式进行描述。从中，您应该能够确定需要停用哪个模式。