Search code examples
pythonjedit

Underscore characters disappears on jEdit


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?


Solution

  • 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.