jEdit 4.3pre3

ErrorList プラグインが起動時にエラーを出していたが、それ以外は今のところ問題無し。まだこのように対応が済んでいないプラグインもあるが、1/15日には残りのプラグインもアップデートされるとのこと。

I will try to get all the 4.3pre3 plugin submissions I have released shortly. The rest of the plugins will hopefully be released on the 15th.

ああ、Template Treeも使えない。上の引用部分はこのプラグインの力を借りているのである。さらに、">"を入力するとBean Shell Errorが発生してうるさかったりする。プラグインは再導入した方がよさそうだ。

RPM: http://www.h4.dion.ne.jp/~nobu-10/packages/RPMS/jedit-4.3pre3-1.noarch.rpm
SRPM: http://www.h4.dion.ne.jp/~nobu-10/packages/SRPMS/jedit-4.3pre3-1.src.rpm
SPEC: http://www.h4.dion.ne.jp/~nobu-10/packages/SPECS/jedit.spec