>>152
user.jsに書いた設定は起動時に毎回prefs.jsに書き込まれる
user.js削除しただけではprefs.jsに既に反映されたものは戻らない