ｺﾒﾝﾄ(全4件)
1〓4件を表示
通りすがり ― 2014-05-11 18:36
ずっと前からuser.js変えてないのと
userChrome.cssに便利そうなのがあるので
user.jsとuserChrome.cs参考にさせてもらいます
puppet ― 2014-05-11 20:13
お役にたつようなものがありましたらなによりです。
たぶん読みにくい内容ではないかと思いますが、過去ブログに書いていた内容が
今回の移行に役にたったので、次回もきっと役にたつだろうと、自分のためにまとめ
ているようなものなので、あまり詳しく書く気もなかったり……
user.jsもuserChrome.cssも私に権利のあるようなものではありませんのでご自由に。
（未記入） ― 2014-05-11 21:40
＞ //キャッシュページ数（places.sqliteを10MBに抑えたい）
＞ user_pref("places.history.expiration.max_pages, 15000);
" が抜けてますね。
puppet ― 2014-05-11 22:23
修正しました。
ご指摘ありがとうございます。
記事を書く