[Top][All Lists]

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

Inconsistency in meaning of "user options"

From: Richard M. Stallman
Subject: Inconsistency in meaning of "user options"
Date: Mon, 12 Dec 2005 11:18:34 -0500

Sometimes we use the term "user options" to mean
"customizable variable" or "variable meant for the user to set".
But sometimes we use it to mean "any settings you can customize",
which includes faces as well.

I think we should make this consistent.  There is more than
one way to do it; all of them will take work.
The question is, which one is better?

reply via email to

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