[Top][All Lists]

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

Re: reconsider defaults custom group

From: Richard Stallman
Subject: Re: reconsider defaults custom group
Date: Thu, 26 Dec 2002 18:39:29 -0500

I think this is useful, but I agree that `reconsider-defaults' is a
strange and unnatural name for it.  `basic' or `popular-options'
would be much better.

Do you think some of these options should have different defaults?
Would you like to propose 4 options to change the defauls of?
(If you told me a long list, I could not think about them all.)

reply via email to

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