22/08/12 16:35:22.93 02D2pdU+0.net
user.jsについて質問です。
user_pref("設定名", 値);
user.jsは上のように記述しますが、
値の部分がtrueやfalseだったら効いてます。
が、1や5など数字だったらいつの間にか効かなくなってました。
もちろんUTF-8で保存してますが、おまかんでしょうか？
それともuser.jsで仕様変更でもあったのですかね？
22/08/12 16:35:22.93 02D2pdU+0.net
user.jsについて質問です。
user_pref("設定名", 値);
user.jsは上のように記述しますが、
値の部分がtrueやfalseだったら効いてます。
が、1や5など数字だったらいつの間にか効かなくなってました。
もちろんUTF-8で保存してますが、おまかんでしょうか？
それともuser.jsで仕様変更でもあったのですかね？