当在终端中使用时，证明常规光标会掩盖我的代码

Question

当我在窗口模式下使用emacs时，一切似乎都很好。但是，在终端中，Proof General的光标（表示它在代码中的位置）会覆盖它所在行的前两个字符。

这看起来像一个错误，但也许它是某种设置？有没有人遇到过这个？

Answer 1

我发现这是一个emacs变量：

https://github.com/ProofGeneral/PG/issues/16

箭头的重叠是有意的，可以通过将箭头文本设置为""来“关闭”：

(setq overlay-arrow-string "")