tags:

views:

64

answers:

1

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?

+1  A: 

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.

Ned Batchelder
Do you know how to do that on jEdit?
pocoa
unutbu
I cannot believe that! It is version 4.3.1! They cannot even display the underscores...
pocoa