Rob wrote:
Chris Ilias <[email protected]> wrote:
On 2013-07-28 4:57 PM, Rob wrote:
Chris Ilias <[email protected]> wrote:

about:config isn't intended to be a list of all available preferences.

What is it intended for?

I'm not confident in my understanding of it, but as I understand it...
it displays prefs that have been used (aka loaded).
For instance, if you load a fresh profile and go straight to
about:config, you won't see the pref browser.download.lastDir. Once you
download something, that pref will then appear in about:config.

My understanding of the prefs system is this:

There is a table of preferences, each of them with a data type, a default
value, and some flags including whether they are "hidden".

Upon starting the program, first the default values are loaded, and
then they are merged with prefs.js and user.js.

When the program exits, it writes the current state to prefs.js, but
there the prefs are 'weeded' in the sense that only values that are
different from default are written to prefs.js.  So, prefs.js is not
a full catalog of available prefs, but only the list of values that has
been set different from default (either by the user or by some automatic
action within the program, including your example of downloading and
saving something).

about:config is a bit different.  It shows all the values that are not
"hidden".  When a value is at its default, it shows the entry in normal
font.  Those are the ones what won't be written to prefs.js.
When a value has been set differently, it shows in bold font here.
(when it has been locked it shows in italic font)

YL,YL

Ron, I was of the opinion that prefs.js was the file that was shown, in SeaMonkey's Browser, when I entered "about:config" in the browser address line, but, as you state above, prefs.js is a listing of the prefs, from about:config, *that had been changed from the default!!*

That's my thing for the day!!

--
Daniel

User agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:21.0) Gecko/20100101 Firefox/21.0 SeaMonkey/2.18 Build identifier: 20130418192405

or

User agent: Mozilla/5.0 (X11; Linux x86_64; rv:23.0) Gecko/20100101 SeaMonkey/2.20 Build identifier: 20130709211044
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey

Reply via email to