It seems that user.js is not being read by SeaMonkey to override prefs.js. In case I temporarily change a preference and forget to restore it to its old value, I have set some user_pref statments to do that restoration. This used to work for me, but it does not work now.
Can anyone suggest what I should check? Is there a maximum size for user.js? I now have 28 user_pref statements, all sorted alphabetically by the preference variable. The file is 3.7 KB. -- David E. Ross <http://www.rossde.com/> Concerned about someone (e.g., the government) snooping into your E-mail? Use PGP. See my <http://www.rossde.com/PGP/> _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
