Jedit X Rev.2.13

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