David E. Ross wrote:
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.
I never knew about this feature, but your mistake(s) are a definite
reason to put the newest entries last. Once a change has been accepted,
then it can be sorted in alphabetically.
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
