下划线字符在jEdit上消失

Question

我使用的是jEdit 4.3之前的版本16.正如我在标题中提到的那样，当我输入时，有时下划线字符会消失。我试图改变字体，突出显示行等，但它没有奏效。

例如，当你键入：

if __name__ == 'main': 

它显示：

if name == 'main': 

当你点击名，它再次显示下划线。

有没有解决这个问题的方法？

Answer 1

有些编辑器可让您独立于字体大小控制行间距。如果jEdit为您提供了该控件，请稍微增加行间距。问题在于编辑器没有意识到下划线扩展到基线以下多远，并且它们被下面的行覆盖。