Re: about:config

Dave Royal<[email protected]> Mon, 22 Feb 2021 04:08:32 -0600
Newsgroups gmane.comp.mozilla.general
Message-ID <[email protected]>
On 21 Feb 2021 11:56:49 -0800 The Real Bev wrote:
>[On 02/21/2021 10:48 AM, J. P. Gilliver (John) wrote:]
>> On Sun, 21 Feb 2021 at 10:02:41, EE <[email protected]> wrote (my responses
>> usually follow points raised):
>>>Andy Burns wrote:
>>>> The Real Bev wrote:
>>>>
>>>>> Is there an equivalent for Chrome?  It's woefully inadequate as far
>>>>>as  official options.
>>>>  Well, there's <chrome://flags>
>>>>
>>>But those settings are experimental, and tend to disappear after a
>>>while when the permanent settings are reconfigured.
>>
>> So, I gather from reading here and allied 'groups, do the ones in
>> Firefox - and/or, new ones are introduced that do the same thing (or
>> worse, _almost_ the same thing) and cause the ones we know to be
>> superseded.
>>
>> The explanation - when anyone can find one, that is - usually includes
>> the horrible and insulting word "deprecated". (Always in the third
>> person, as if to give more weight.)
>
>I think that's only used in linux;  users of other OSs wouldn't know 
>what it meant :-)

'Deprecated' is a widely used in programming, not limited to Linux.
It has a specific technical meaning, which you can google.
You shouldn't see it in end-user documentation. 

(fwiw it's a past participle used as an adjective.)

I don't think Mozilla publishes user documentation on preferences on 
principle. They can and do remove them without telling users. I've not 
noticed whether prefs are ever 'deprecated' - in bugzilla, say. They 
appear, become active, become superseded, and are eventually removed in 
the code. Old ones hang around in users' profiles for years - or used to.


All documentation of prefs is unofficial, partial, and out of date!
-- 
(Remove numerics from email address)