[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: toolbar conventions

From: Luc Teirlinck
Subject: Re: toolbar conventions
Date: Mon, 19 Dec 2005 19:52:04 -0600 (CST)

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

"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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]