Jedit X Rev.2.25

アートマン21が、テキストエディタ「Jedit X Rev.2.25」をリリースしています。