パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

Mozillaのレンダリングを高速に」記事へのコメント

  • prefs.jsを直接書き換えるのとuser.jsに書くのとどちらがいいんですかね?
    • by Gul Dukat (6449) on 2003年01月11日 19時15分 (#233881) 日記
      user.js は prefs.js にユーザが手を触れなくても
      いいように作り出されたファイルの筈です.
      なので user.js に書き込んで prefs.js には
      触れないようにするのが良いでしょう.

      user.js を読み込んで prefs.js に自動的に書き込んで
      くれるのでその後 user.js は不要になります.
      親コメント

アレゲはアレゲを呼ぶ -- ある傍観者

処理中...