Курсор Proof General скрывает мой код при использовании в терминале
Когда я использую emacs в оконном режиме, все выглядит нормально. Однако в терминале курсор Proof General (указывающий, где он находится в коде) скрывает первые два символа строки, в которой он находится.
Это похоже на ошибку, но, возможно, это какая-то настройка? Кто-нибудь сталкивался с этим раньше?
1 ответ
Я обнаружил, что это переменная emacs:
https://github.com/ProofGeneral/PG/issues/16
Наложение стрелки является преднамеренным, и его можно "отключить", установив текст стрелки в "":
(setq overlay-arrow-string "")