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