[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?