On 7/25/13 3:16 PM, Hartmut Figge wrote:
> David E. Ross:
>
>> It seems that user.js is not being read by SeaMonkey to override
>> prefs.js.
>
> Test it with the attached user.js. Then either about:blank or reading a
> posting should annoy you with green. *g*
>
>> Is there a maximum size for user.js?
>
> Not that i know of. Mine has a size of 16KB. There is one problem with
> the user.je. Once there is a syntactically error, parsing of the user.ks
> will stop at that line. So it is likely, that your user.js should be
> checked for errors.
>
> Hartmut
>
Your user.js did indeed work.
I worked my way down my own user.js file, changing indicated preference
either by [Edit > Preferences], about:config, or PrefBar, terminating
SeaMonkey, and then restarting it. Aha!! I had tried to set
layout.css.devPixelsPerPx to 0.9. While integer values can be indicated
as such in user_pref statements, non-integer values require quotes
(input as text strings).
user_pref(layout.css.devPixelsPerPx; 0.9);
is quite wrong. It had to be
user_pref(layout.css.devPixelsPerPx; "0.9");
--
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
