Mozilla Firefoxの使用方法ユーザー設定 (preferences)
ユーザー設定の実体
ユーザー設定は、プロファイル フォルダのprefs.jsファイルに保存されています。その内容は次のようなものです。
# Mozilla User Preferences
/* Do not edit this file.
*
* If you make changes to this file while the application is running,
* the changes will be overwritten when the application exits.
*
* To make a manual change to preferences, you can visit the URL about:config
*/
user_pref("accessibility.browsewithcaret", true);
user_pref("accessibility.typeaheadfind", true);
user_pref("accessibility.typeaheadfind.flashBar", 0);
...
コメントにあるようにこのファイルを直接編集せず、about:configから行うようにします。
設定値の規則
設定値の名前
設定値の名前に命名規則はなく、アドオン開発者がおのおの勝手に決めたものです。よって名前だけでは、実体を正確に把握できません。
設定値の寿命
設定値は、アドオンが起動した時点で作成されます。よってアドオンを無効にしてブラウザを再起動すると、そのアドオンの設定値はなくなります。ただしこれは設定を既定値から変更しなかった場合で、変更した場合にはアドオンを削除した後も残ります。
設定値の詳細については、アドオン開発のユーザー設定に関する情報をご覧ください。
ユーザー設定の編集ページ (about:config)
ロケーションバーに「about:config」と入力しEnterを押下することで、ユーザー設定を編集するためのGUIが表示されます。そこで設定を変更すると、即座にprefs.jsファイルに書き込まれます。
Firefox自体に関する設定の一部は、About:config entries - MozillaZine Knowledge Baseで一覧できます。ただしこのページの内容には、ThunderbirdなどFirefox以外の設定も含まれるため、そのすべてを適用できるわけではありません。
設定値の追加
サポートされているにもかかわらず、既定で用意されていない設定値もあります。そのような場合には、その設定値の名前と定められた型で新規に作成します。
ui.tooltipDelay
マウスオーバー時にツールチップが表示されるまでの時間を定義します。これの既定値は500msとなっています。
複数の技術系サイトから、まとめて検索