|
| From: | Richard Stallman |
| Subject: | Re: [PATCH] Re: Save Options vs. default-input-method |
| Date: | Tue, 12 Feb 2002 08:23:51 -0700 (MST) |
Removing the standard value mean you can no longer choose "Erase
customization" from customize, but it ensures that the option is
always saved.
Is there some reason we want this always to be saved? I don't see it.
What precisely would go wrong if you make t the standard value?
| [Prev in Thread] | Current Thread | [Next in Thread] |