Re: toolbar conventions

[Luc Teirlinck]

Richard Stallman wrote:

   In January, some people argued for "preference".  We could use that.
   Or perhaps "setting".  What do people think of those?  Any other
   suggestions?

"setting" would work.  The simple alternative "option or face" is not
even _that_ long and in certain contexts one can even just use option
and rely on the fact that it is clear from the context that in this
particular case it applies to faces too.

Sincerely,

Luc.