Underscore characters disappears on jEdit
Posted
by pocoa
on Stack Overflow
See other posts from Stack Overflow
or by pocoa
Published on 2010-04-18T12:10:20Z
Indexed on
2010/04/18
12:23 UTC
Read the original article
Hit count: 434
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?
© Stack Overflow or respective owner