我在Aquamacs上使用Emacs中的Proof General，每次写一段句子（“。”）都会执行一切（直到那段时间）。这似乎是一种电动行为，但事实并非如此。所有其他键的行为都正常。
我知道这是在我意外使用某些键绑定时启动的某种模式。如果我重新启动会话，效果将停止，但我想知道键绑定使其停止（或使其启动）。
你知道这种模式叫什么吗？我甚至无法在网上找到它。
答案 0 :(得分：6)
一般情况下，如果你陷入了一个不知道名字的小模式，你可以运行：
M-x describe-mode
这将列出所有当前活动的主要和次要模式，并列出每种模式。从这里，你应该能够找出你需要停用哪一个。