09/09/12 22:05:23 c+qgJtaA0
>>74
「上書きする用」って何に上書き？
prefs.jsもuser.jsも、変更したものだけを書いておけば
残りは全てデフォルト（greprefsの中身）の値で補完されるから
わざわざ全てのデフォルト値を知る必要は（基本的には）ないのだけれど・・・。
09/09/12 22:05:23 c+qgJtaA0
>>74
「上書きする用」って何に上書き？
prefs.jsもuser.jsも、変更したものだけを書いておけば
残りは全てデフォルト（greprefsの中身）の値で補完されるから
わざわざ全てのデフォルト値を知る必要は（基本的には）ないのだけれど・・・。