2

Emacs バッファで .csv ファイルを開くたびに、Proof General が起動し (まだ起動していない場合)、ウィンドウがリセットされます。これは本当に Emacs の調子を狂わせてしまい、やめなければなりません。

Proof General を扱う私の init.el の唯一の部分は次のとおりです。

(load-file "~/.emacs.d/ProofGeneral-4.2/generic/proof-site.el")
(setq auto-mode-alist (cons '("\.v$" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
4

1 に答える 1

2

.v$単一のバックスラッシュエスケープは文字列リーダーに属しているため、名前を一致させるための正規表現は最初の文字列変換の後です。その結果、2 文字以上で最後の文字が , であるすべての名前が にv割り当てられcoq-modeます。

修正は簡単です。パターンで二重のバックスラッシュを使用します。

于 2015-09-12T07:07:11.603 に答える