!説明
お気に入り機能を追加するプラグイン。
jEdit本体のお気に入り機能は、フォルダを登録する仕様になっているので使いにくい。
そこで、webブラウザのお気に入り（ブックマーク）機能に近い機能のプラグインを作成した。


!ダウンロード
{{ref favorites_0.3.zip}}

!使い方
１．ファイルをダウンロードして解凍する。
２．Favorites.jar を本体またはプロファイルの jar ディレクトリへコピーする。

!更新履歴
【2012/4/11】ディレクトリもお気に入りに追加できるように修正
【2011/6/15】履歴表示機能を追加
【2010/12/15】XML読込のライブラリをJava標準のSAXに変更