jndit에서 밑줄 문자가 사라집니다.

Question

jEdit 4.3 pre 16을 사용하고 있습니다. 제목에서 언급했듯이 입력 할 때 밑줄 문자가 사라지는 경우가 있습니다. 나는 글꼴을 바꾸려고 시도했다. 강조 표시 등을했지만 작동하지 않았다. 예를 들어

당신은 입력 할 때 :이 표시

if __name__ == 'main': 

:

if name == 'main': 

당신이 이름 클릭

, 다시 밑줄을 표시합니다.

이 문제의 해결책이 있습니까?

Answer 1

일부 편집기를 사용하면 글꼴 크기와 독립적으로 선 간격을 제어 할 수 있습니다. jEdit이 컨트롤을 제공한다면 줄 간격을 조금만 늘리십시오. 문제는 편집자가 밑줄이 밑으로 얼마나 멀리 떨어져 있는지 알지 못하며 아래 줄로 덮어 쓰게됩니다.