>>876
初心者（質問者がそのように見受けられた）には、pref.jsを直接編集するのは、ややリスキーだから、
user.jsを使う方法のほうが理に適ってるのでは？