Hartmut Figge wrote:
Arne:
Hartmut Figge wrote:
Arne:
Yep, the prefs.js is there.
Fine. You could check with 'about:config' if the setting was successful.
Checked and it's there. I understand that there is no such preference
in about:config before it's created in user.js (or prefs.js)?
Not all Prefs are existing under about:config. But they are if there is
a deviation from the default value. I hope that 'deviation' is right for
'Abweichung'. *g*
All prefs that are currently set in some way are there in about:config
but what's right is that not all prefs need to be set. If they aren't,
the most convient way to set them is to right-click and create a new
pref right from about:config though ;-)
Robert Kaiser
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
