On Tue 16 Oct 2018 at 18:42:19 (-0400), Felix Miata wrote: > David Wright composed on 2018-10-16 17:07 (UTC-0500): > > > (Actually, it would be useful to know how to print out the about:config > > page so tht it can be perused at leisure.) > > prefs.js is a plain text file in the profile directory.
Yes, but it only lists items that one has allegedly modified. I estimate somewhere over 3600 options on the page (counting PageDown keypresses), but only a couple of hundred or so in that file. Cheers, David.
