下划线字符在jEdit上消失

Question

我正在使用jEdit 4.3 pre 16.正如我在标题上提到的那样，当我打字时，有时候下划线字符会消失。我试图改变字体，行突出显示等但它没有用。

例如，当您键入：

时

if __name__ == 'main':

显示：

if   name  == 'main':

当您点击名称时，它会再次显示下划线。

这个问题有解决方法吗？

Answer 1

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