Nelson, *some* of the default preference-settings *are* appearing in the
prefs.js, but most default-preferences do not.
Nelson Bolyard wrote:
horst39 wrote, On 2009-05-10 02:33 PDT:
On 09.05.2009 19:44, NoOp wrote:
You are right: there are about 10 additional "security" in my new
profile. But it is not easy to understand what each line means, even
looking at the Mozilla KB (not all are described here).
Further the impossibility to print or copy the about:config doesn't
simplify the problem.
Before moving everything, I'd fire up the test profile, then in
about:config check for 'security' and compare the settngs (taking
screenshots is probably the easiest). Could be that you inadvertently
changed a setting from default & changing it back may resolve the
about:config shows you all your "preference strings" (prefs for short).
Each pref consists of a long name and a value.
Many (most) of your prefs will have the "default" value, meaning the
that SeaMonkey puts into a brand-new profile, and stays there if you
change it. Some prefs will have a "user set" value (a value that you
from the default, probably by making a configuration change in the
preferences dialogs). The user set values are generally displayed in
and show the words "user set" in the "status" column.
All the prefs are strings of ordinary printable characters.
shows you that some are "strings", others are "boolean" or "integer",
"boolean" and "integer" are merely restrictions on the format and
of the strings.
In your profile directory is a file named prefs.js. That file
your "user set" prefs, and none of the "default" prefs. The file is
text. You can print it with notepad (on windows) or any other
will print plain text files. The prefs are kept in alphabetical order.
Almost right, Nelson.
All the prefs are contained in a file called "prefs.js".
No. All of the preferences are in the about:config as Nelson has stated.
This files contents can then be displayed and altered by typing
"about:config" in the browsers address bar.
No. about:config displays *all* of the preferences, and edits many-more
preferences than just the few listed in the contents of prefs.js..
My current prefs.js lists 887 preference-settings, whereas my
about:config lists many thousands of preference-settings (based on
comparison of the size of my prefs.js scroll-bar, which is about 7-times
as-long as my about:config scroll-bar, using same-size text and windows).
Unfortunately, my current about:config can't be saved, printed, copied,
or migrated to something which can precisely-count the number of
preference-lines, so I can't give a precise number, but the relative
scroll-bar size-difference says it all.
By way of example, in my first-five about:config default-preferences,
the first four default-preferences are omitted from prefs.js:-
with only the fifth default-preference -
actually getting itself included within prefs.js..
Heh! I just noted that the sixth about:config default-preference ~
also doesn't appear in prefs.js, and you might expect that
particular-preference child to be included in the prefs.js file, if the
parent is getting included.
That is pretty-much the state-of-play between about:config and prefs.js.
Another way you can alter the prefs is to write the pref you wish to
change into a text file called "user.js". Then, when you next start
SeaMonkey, these changes will be incorporated, safely, into your
I haven't used that method in a while, so can't comment.
Very true. There are some woeful editors around, and the about:config
editing works fine.
If you open it in an editor of some kind, you should avoid
the file back to disk. An editor may change your prefs.js file in a way
that will ruin it.
You can back it up and restore it, of course. Avoid the temptation
it from one system to another or from one profile to another, because it
contains directory names that are unique to each profile. If you put a
prefs.js file in the wrong profile, that will be a serious problem
the profile in which you put it, and the profile in which it really
By the way, in your profile directory are three files whose names end in
.db (on Windows). If PSM won't start, odds are good that something bad
has happened to one of those files. So, before you go and create a
new profile, try restoring just those 3 files from a backup. Of course,
be sure your browser is not running when you do that.
support-seamonkey mailing list