С CoQ Proof General Emacs выполняется в каждый период. Как остановить его?

Question

Я использую Proof General в Emacs на Aquamacs, и каждый раз, когда я пишу период ("."), Все выполняется (до этого периода). Это похоже на электрическое поведение, но это не так. Все остальные клавиши ведут себя нормально.

Я знаю, что это какой-то режим, который начинался, когда я случайно использовал некоторые привязки клавиш. Если я перезапущу сеанс, эффект остановится, но я хотел бы знать привязку клавиш, чтобы остановить его (или запустить его).

Знаете ли вы, что называется этим режимом? Я даже не могу найти его в Интернете.

Answer 1

В общем, если вы застряли в малом режиме, что вы не знаете имя, вы можете запустить:

M-x describe-mode 

Это будет список всех активных основных и второстепенных режимов, с описание каждого. Из этого вы должны быть в состоянии выяснить, какой из них вам нужно деактивировать.