2

この問題は、Proof General を実行しているときにのみ発生します。これは、Proof General によって開始されたランダムなマイナー モードであると想定していますが、どのモードかはわかりません! 名前を認識できる場合に備えて、以下にマイナーモードのリストを含めます。

Emacs でピリオドを配置すると、次のようにカーソルがピリオドの前にジャンプします。

何かを書いている|

何かを書いています。|

何かを書いています|。

where|はカーソルを表し、最後の 2 行はすぐに次々と発生します。

ピリオドのある行の終わりをクリックすると、同じことが起こります。カーソルはピリオドの後に表示され、ピリオドの直前にジャンプします。

いくつかの文。（ここをクリック）

いくつかの文。| |

いくつかの文|。

最後の 2 行が次々と発生します。

名前を見つけることができる場合に備えて、マイナーモードのリストを次に示します。

Aquamacs-Autoface Auto-Composition
Auto-Compression Auto-Encryption Blink-Cursor Column-Number Cua
Delete-Selection Electric-Indent File-Name-Shadow Font-Lock
Global-Font-Lock Holes Line-Number Menu-Bar Mouse-Wheel Osx-Key
Recentf Savehist Show-Paren Smart-Frame-Positioning Tabbar
Tabbar-Mwheel Tool-Bar Tooltip Transient-Mark

key             binding
---             -------

^C              Prefix Command
ESC             Prefix Command
.               proof-electric-terminator
<C-M-down>      pg-move-region-down
<C-M-mouse-3>   proof-mouse-goto-point
<C-M-up>        pg-move-region-up
<C-S-mouse-1>   pg-identifier-under-mouse-query
<C-return>      proof-script-complete
  (that binding is currently shadowed by another mode)
<M-down>        proof-forward-command
<M-up>          proof-backward-command
<remap>         Prefix Command
... then a bunch of Proof specific minor modes...
4

1 に答える 1

2

Proof General は と互換性がありませんshow-paren-mode。またはで適切な場所にM-x show-paren-mode置くことで、それをオフにすることができます。(add-hook 'proof-ready-for-assistant-hook (lambda () (show-paren-mode 0))).emacs

http://proofgeneral.inf.ed.ac.uk/trac/ticket/496を参照してください。

于 2016-02-04T08:25:29.357 に答える