[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Document option tool-bar-mode
From: |
Richard M. Stallman |
Subject: |
Re: Document option tool-bar-mode |
Date: |
Mon, 19 Dec 2005 18:46:24 -0500 |
`customize' is a general English word, not some technical term. Let
me repeat for emphasis: there is no problem _unless_ customizing the
variable _only_ takes effect when set through Custom. In such a
situation, it is good to be emphatic and unambiguous.
I agree with both points.
Re: Document option tool-bar-mode, Richard M. Stallman, 2005/12/18
- Re: Document option tool-bar-mode, Bill Wohler, 2005/12/18
- Re: Document option tool-bar-mode, Luc Teirlinck, 2005/12/19
- Re: Document option tool-bar-mode, Richard M. Stallman, 2005/12/19
- Re: Document option tool-bar-mode, Luc Teirlinck, 2005/12/19
- Re: Document option tool-bar-mode, Richard M. Stallman, 2005/12/20