On 7/25/13 4:22 PM, Hartmut Figge wrote:
> David E. Ross:
>
>> 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.
>
> I would do that with inserting an easy pref, e.g. user_pref("hafi",
> "hi"); *g*, in the first line of the user.js, then moving that line to
> the half of the user.js, then, depending of if it enters the prefs.js,
> moving it to the half of the top or the half of the bottom and so on.
>
>> 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");
>
> Ehm, the '; ' before the value, shouldn't that be a ', '?
>
> Hartmut
>
Yes, and it was a comma in my user.js. Having deleted the user_pref
statement, I recreated it from my defective memory.
--
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
support-seamonkey@lists.mozilla.org
https://lists.mozilla.org/listinfo/support-seamonkey
