Jedit X Rev.2.17

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