ZitatNormal prefs are kept in prefs.js in the user's profile directory (which is overwritten by Mozilla every time a pref is changed), but here's a tip: prefs or other JavaScript that you don't want overwritten (e.g. comments) can be put in a file called user.js in the same directory, which is under the user's control and is read but never written by Mozilla.
One caution with using user.js: prefs set to non-default values in user.js are also written to prefs.js, so removing or commenting out pref settings in user.js doesn't necessarily cause Mozilla to stop using your previous pref setting. If you change user.js and aren't getting the results you expect, be sure to check prefs.js to make sure it isn't setting a conflicting value.
Könnte das dieUrsache sein, daß bei Euch/anderen die Einstellungen nicht übernommen werden? Ich habe noch keine user.js angelegt.
nein, unter about:config werden ja die richtigen angaben angezeigt. ich glaube es ist wirklich OS-abhängig. ich hab WinXP Pro SP1 mit allen aktuellen sicherheitsupdates und es funzt nicht. bei Windows2000 scheint es dagegen zu klappen. oder ist hier irgendjmd mit winxp bei dems funzt bzw. einer mit win2k bei dems nicht funzt?