トップ 差分 一覧 ソース 置換 検索 ヘルプ PDF RSS ログイン

Plugin - Favorites

説明

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


ダウンロード

favorites_0.3.zip(305)

使い方

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

更新履歴

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

Favorites.zip favorites_0.2.zip favorites_0.3.zip


  • Hatenaブックマークに追加
  • livedoorクリップに追加
  • del.icio.usに追加
  • FC2ブックマークに追加

最終更新時間:2012年04月12日 21時41分25秒