Когда я использую emacs в оконном режиме, все выглядит нормально. Однако в терминале курсор Proof General (указывающий, где он находится в коде) закрывает первые два символа строки, в которой он находится.
Это похоже на ошибку, но, возможно, это какая-то настройка? Кто-нибудь сталкивался с этим раньше?