Geek Answers Handbook

With CoQ, Proof General Emacs runs in every period. How to stop him?

I use Proof General in Emacs on Aquamacs, and every time I write a period (".") Everything is done (up to that period). This is similar to electrical behavior, but it is not. All other keys behave normally.

I know that this is some kind of mode that started when I accidentally used some keys. If I restart the session, the effect will stop, but I would like to know the key binding to stop it (or start it).

Do you know what is called this mode? I can’t even find it on the Internet.

+6
source share
1 answer

In general, if you are stuck in a minor mode in which you do not know the name, you can run:

Mx describe-mode

Here are listed all currently active primary and secondary modes with a description of each of them. From this, you should be able to figure out which one you need to deactivate.

+5
source

More articles:


All Articles