Jedit X Rev. 1.32が出ていました。Rev 1.31にバグがあったようです。エディタ。製品。