Plugin - Favorites

説明

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

ダウンロード

favorites_0.3.zip(487)

使い方

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

更新履歴

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