Курсор Emacs перепрыгивает перед точкой на Proof General
Я сталкиваюсь с этой проблемой только при запуске Proof General. Я предполагаю, что это какой-то случайный второстепенный режим, который запускается Proof General, но не могу понять, какой именно! Ниже приведен список второстепенных режимов на случай, если вы сможете распознать название.
Если я помещу точку в Emacs, курсор переместится перед ним, вот так:
Писать что-то |
Писать что-то.
Написание чего-то |
куда | представляет курсор, и последние две строки происходят сразу один за другим.
то же самое происходит, если я щелкаю в конце строки с точкой. Курсор появится после периода и сразу перейдет перед периодом.
Некоторое предложение. (кликните сюда)
Некоторое предложение. |
Некоторое предложение |
Где последние два выстроились в линию, происходят сразу один за другим.
Вот список второстепенных режимов, в случае, если вы можете определить название:
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...
1 ответ
Доказательство общего несовместимо с show-paren-mode, Вы можете отключить его с M-x show-paren-mode или положить (add-hook 'proof-ready-for-assistant-hook (lambda () (show-paren-mode 0))) в соответствующем месте в вашем .emacs,