|
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] |