Jedit X Rev.2.12

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