David E. Ross wrote:
On 12/31/12 4:33 AM, Daniel wrote:
David E. Ross wrote:
On 12/30/12 10:56 AM, Michael Gordon wrote:
<Snip>
David,
I think the OP stated he could not find a user.js file, that would be
because in the Mozilla profiles a user.js file must be created by the
user. Once it is created Mozilla will use its content to copy into the
prefs.js file. It is much safer to modify the preferences with the
user.js file than to directly edit prefs.js.
Michael G
I agree. Not only did John (the original poster in this thread) not
have user.js, but also Gallagher (to whom I was replying) did not.
I tried to recreate their experience by disabling my own user.js by
renaming it x-user.js. I still could not see their problem.
David, for what it's worth, my understanding of the user.js file is to
write specific settings into the prefs.js/config file. Once you create a
user.js file and then start SeaMonkey, the pref is set and will stay
that way until *you* do something specifically to change that setting.
Just renaming or deleting the user.js *will not* re-set the pref back to
it's original setting.
IMHO, of course!
Printing with a different printer does indeed change the preference
variable.
Yes, David, I would expect SM to remember which printer you last printed
to. Unless, of course, you re-boot SM and in so doing set the default
printer to the System printer!
--
Daniel
Happy New Year and may 2013 be better for you than 2012 was!!
Less than 100 messages to catch up on in m.gen
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
