Aquamacs の Emacs で Proof General を使用しており、ピリオド (".") を書き込むたびにすべてが実行されます (そのピリオドまで)。電気的な動作のように見えますが、そうではありません。他のすべてのキーは正常に動作します。
これは、誤ってキーバインディングを使用したときに開始されたモードであることを知っています。セッションを再開すると効果は停止しますが、停止する (または開始する) ためのキーバインドを知りたいです。
このモードが何と呼ばれているか知っていますか?オンラインでも見つかりません。