jEdit4.3.1がリリースされていますが、やっと日本語のほうも作業時間をとることができました。変更は少ないので、影響はそれほど大きくないですが、キーボードニーモニックの矛盾などが改善されていたので、入れておいた方がいいと思います。ダウンロードは…