7

I'm using Proof General in Emacs on Aquamacs and every time I write a period (".") everything is executed (up to that period). It seems like an electric behavior but it's not. All other keys behave normally.

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

Do you know what this mode is called? I can't even find it online.

Rémi
  • 8,172
  • 2
  • 27
  • 32
Skuge
  • 1,010
  • 2
  • 11
  • 28

1 Answers1

5

In general, if you're stuck in a minor mode that you don't know the name of, you can run:

M-x describe-mode

This will list all currently active major and minor modes, with a description of each. From this, you should be able to figure out which one you need to deactivate.

Dan
  • 12,157
  • 12
  • 50
  • 84
  • 2
    This is exactly what I needed. The mode was "proof-electric-terminator" Toggled with C-c terminator-character Read more: http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof+General+user+manual&file=releases%2FProofGeneral%2Fdoc%2FProofGeneral%2FProofGeneral_3.html – Skuge Jan 28 '14 at 21:57
  • 1
    Short answer is: press `C-c .` – Clément May 01 '15 at 20:24
  • Exactly what Clément said. – Skuge Jul 08 '15 at 09:31