python - jEdit でアンダースコア文字が消える

Question

16より前のjEdit 4.3を使用しています。タイトルで述べたように、入力中にアンダースコア文字が消えることがあります。フォントや行の強調表示などを変更しようとしましたが、うまくいきませんでした。

たとえば、次のように入力すると:

if __name__ == 'main':

次のように表示されます。

if   name  == 'main':

nameをクリックすると、アンダースコアが再び表示されます。

この問題の解決策はありますか?

Answer 1

一部のエディターでは、フォント サイズとは無関係に行間を制御できます。jEdit でその制御ができる場合は、行間を少しだけ増やしてください。問題は、アンダースコアがベースラインからどれだけ下まで伸びているかをエディターが認識せず、下の行で上書きされていることです。