7

Aquamacs の Emacs で Proof General を使用しており、ピリオド (".") を書き込むたびにすべてが実行されます (そのピリオドまで)。電気的な動作のように見えますが、そうではありません。他のすべてのキーは正常に動作します。

これは、誤ってキーバインディングを使用したときに開始されたモードであることを知っています。セッションを再開すると効果は停止しますが、停止する (または開始する) ためのキーバインドを知りたいです。

このモードが何と呼ばれているか知っていますか?オンラインでも見つかりません。

4

1 に答える 1

6

一般に、名前がわからないマイナー モードでスタックしている場合は、次のコマンドを実行できます。

M-x describe-mode

これにより、現在アクティブなメジャー モードとマイナー モードがすべて一覧表示され、それぞれの説明が表示されます。これから、どれを無効にする必要があるかを判断できるはずです。

于 2014-01-28T20:33:33.973 に答える