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 ?
Searching for "user.js" in Seamonkey Help yields
[No matching items found.]
Philip Taylor
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
