- 追加された行はこのように表示されます。
- 削除された行は
このように表示されます。
!説明 お気に入り機能を追加するプラグイン。 jEdit本体のお気に入り機能は、フォルダを登録する仕様になっているので使いにくい。 そこで、webブラウザのお気に入り（ブックマーク）機能に近い機能のプラグインを作成した。 !ダウンロード{{ref favorites_0.2.zip}}{{ref favorites_0.3.zip}} !使い方 １．ファイルをダウンロードして解凍する。 ２．Favorites.jar を本体またはプロファイルの jar ディレクトリへコピーする。 !更新履歴 【2012/4/11】ディレクトリもお気に入りに追加できるように修正 【2011/6/15】履歴表示機能を追加 【2010/12/15】XML読込のライブラリをJava標準のSAXに変更