jEdit 上下划线字符消失
我正在使用 jEdit 4.3 pre 16。正如我在标题中提到的，当我打字时，有时下划线字符会消失。我尝试更改字体、行突出显示等，但没有成功。
例如，当您键入：时，
if __name__ == 'main':
它会显示：
if name == 'main':
当您单击名称时，它会再次显示下划线。
这个问题有什么解决办法吗？
I'm using jEdit 4.3 pre 16. As I've mentioned on the title, when I'm typing, sometimes underscore characters disappears. I tried to change fonts, line highlighting etc. but it didn't work.
For example when you type:
if __name__ == 'main':
it displays:
if name == 'main':
When you click on name, it displays the underscores again.
Is there any solution of this problem?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
有些编辑器允许您独立于字体大小来控制行距。如果 jEdit 为您提供了这种控制权，请稍微增加行距。问题是编辑器没有意识到下划线延伸到基线以下多远，并且它们被下面的行覆盖。
Some editors let you control the linespacing independently of the font size. If jEdit gives you that control, increase the linespacing just a little. The problem is that the editor doesn't realize how far below the baseline the underscores extend, and they are being overwritten with the line below.