当我在窗口模式下使用 emacs 时，一切似乎都很好。但是，在终端中，Proof General 的光标（指示它在代码中的位置）覆盖了它所在行的前两个字符。
这看起来像一个错误，但也许它是某种设置？有没有人遇到过这个？
问问题
126 次
1 回答
2
我发现这是一个 emacs 变量：
https://github.com/ProofGeneral/PG/issues/16
箭头的覆盖是有意的，可以通过将箭头文本设置为“关闭” ""：
(setq overlay-arrow-string "")
于 2015-12-08T22:56:33.200 回答