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

reply via email to

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