検索
Links
カテゴリ
全体開発 ご紹介 Tips プラグイン スクリプト サポート 日記 便利ツール ツールバー ニュース お知らせ エクステンション 未分類 最新のトラックバック
以前の記事
2008年 09月2008年 08月 2008年 06月 2008年 02月 2008年 01月 2007年 12月 2007年 11月 2007年 10月 2007年 09月 2007年 08月 2007年 07月 2007年 06月 2007年 05月 2007年 04月 2007年 03月 2007年 02月 2007年 01月 2006年 11月 2006年 10月 2006年 09月 2006年 07月 2006年 05月 2006年 04月 2006年 03月 2006年 02月 2005年 12月 2005年 10月 2005年 09月 2005年 08月 2005年 07月 2005年 06月 2005年 05月 2005年 04月 2005年 03月 2005年 02月 2005年 01月 2004年 12月 2004年 11月 2004年 10月 ライフログ
フォロー中のブログ
その他のジャンル
ファン
記事ランキング
ブログジャンル
画像一覧
|
Marineツールバー 0.30 リリース
ブログ書くのをさぼっているうちに、Marineツールバー 0.30が公開されました。
今回のバージョンアップでは、"プラグインバインダー"という機能が追加されました。 名前から想像するのは難しいかもしれませんが、プラグインの登録情報を複数保存しておいて、メニューから簡単に切り替えるという機能です。 プラグインの数も増えてきたし、使いたいものを全部登録しておくと、画面に入りきらなくなりますよね。 たまにしか使わないプラグインがあるとき、その度にプラグインを追加・削除をするのは面倒です。 そんな時に使えるのがプラグインバインダーです。 デフォルトでは、 ・セキュリティ ・コンテンツ ・ナビゲーション という名前のプラグインバインダーが登録され、必要だと思われるプラグインがあらかじめ設定されています。 また、好みに合わせて登録するプラグインを変更することもできますし、他のプラグインバインダーを作ることもできます。 これまで利用していたプラグインの設定情報は"標準"という名前になっています。 プラグインバインダーを活用して、状況に合ったプラグインを使えるようにしてみるといいかもしれません。
by marineprojects
| 2005-03-03 12:03
| ご紹介
|
ファン申請 |
||