python - 下划线字符在 jEdit 上消失

Question

我正在使用 jEdit 4.3 pre 16。正如我在标题中提到的，当我打字时，有时下划线字符会消失。我尝试更改字体、线条突出显示等，但没有奏效。

例如，当您键入：

if __name__ == 'main':

它显示：

if   name  == 'main':

当您单击name时，它​​会再次显示下划线。

这个问题有什么解决办法吗？

Answer 1

一些编辑器允许您独立于字体大小控制行距。如果 jEdit 为您提供该控制，请稍微增加行距。问题是编辑器没有意识到下划线延伸到基线以下多远，并且它们被下面的行覆盖。