- 947 名前：名無しさん＠お腹いっぱい。 mailto:sage [2013/07/17(水) 15:02:50.78 ID:VxY2d+uC0]
- >>945
アドオンの設定というのはすなわち about:config にある設定項目のことです。
例示の DownloadHelper の「ネットワーク」「要求するダイル拡張子」の設定は
dwhelper.mediareq-extensions
になります。
あなたの希望していることは、about:config から任意の設定項目を設定セットとしていくつか登録し、
それをボタンで切り替えるようにするアドオン、ということなのですが、そのようなニッチな需要に
対応したアドオンなどあるとお思いでしょうか？
必要なら自分でスクリプトを書くしかないでしょう。
別の案として、Firefoxのプロファイル自体を用途に応じて切り替えるというのではだめでしょうか？
ProfileSwitcher というアドオンを入れると Firefoxボタンのメニューからプロファイルの切り替えができます。
