>>870
user.jsで変更した物はpref.jsに追加されるので
user.js削除の際はpref.js内の変更箇所も削除しなければならない
user.js削除だけでは変更箇所は変わったまま
これ常識