Re: Incorrect terminology in Customize doc

[Stefan Monnier]

> Firefox uses "options" (this contradicts what Kim said, but it is what
> I see).

Firefox is not consistent and uses Preferences at places and Options
at others.

To me, an "option" refers more to a variable, while a "preference" refers
more to a value of such a variable.  I.e. the "Preferences" is the state of
the "Options" (so you'd save the "Preferences", not the "Options").
It's pretty fuzzy, tho.


        Stefan