Jedit Xが1.34になってましたのでインストール。起動時にアップデートをお知らせしてくれたわけですが、4月26日付けのリリースのようで、大型連休中にJeditを使うような作業をしてなかったんでしょうな。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。