Philip TAYLOR wrote:
Jay Garcia wrote: > It can be done by an extension. Otherwise, you can edit prefs.js OR > better yet, is to create a user.js file and set the UA there which will > auto-migrate it to prefs.js. How does one predict the directory in which Seamonkey will look for a user.js file, and is there documentation describing what may appear in a user.js file and the syntax thereof ?
It's the same directory as your user profile. If I remember correctly, the contents of user.js override what's in prefs.js. Thus, if you save something in a user.js file, then no matter what you do with a prefs.js file, whether direct edit, or updating via about:conf, you get the setting in prefs.js.
At least that's the way it used to work. I haven't dug into that area recently, and I'm not familiar with the auto-migrate to prefs.js that Jay mentioned.
Smith _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
