I used to be reasonably confident taking the list of Firefox
preferences, and the explanations of their meanings, from
https://kb.mozillazine.org . But that site has always been
unofficial, and now, alas, it also seems to be unmaintained.
So unless I can find a direct explanation of a particular
pref on Mozilla’s own support pages, which are not really
meant as a systematic reference, I am shooting in the dark.
As an example, I’d like to make the browser behavior around focus
on page elements more consistent and explicit. Mozilla Zine’s list prefs:
browser.display.focus_ring_on_anythingbrowser.display.use_focus_colorsbrowser.display.focus_background_color
But these don’t seem to actually exist in prefs.js, and when I try
adding them, they seem to have no effect. On the other hand, my
current prefs.js contains these:
browser.display.always_show_rings_after_key_focusbrowser.display.show_focus_rings
About which Mozilla Zine is silent.
I don’t expect an answer about these particular prefs here.
My point is that the state of Firefox is now quite different from
the snapshot taken by Mozilla Zine, and I see no obvious replacement.
Please do not suggest asking Mozilla support, and please do not
ask me why. If you can’t immediately know why that answer is not
acceptable, your use of computers and the web and mine are too
different for us to communicate about them.
If there is no knowledge about the current prefs in a human readable
format, I’d be willing to use a tool to extract such information
from the Firefox source code. Can anyone suggest such a tool? Or,
at least, and I’m really desperate now, an algorithm for doing that?
I don’t think it matters, but I use Linux of the Debian / Ubuntu flavor.
But I use current stable Firefox, not the ESR branch in Debian.
