|
From: | Richard Stallman |
Subject: | Re: Semantics of autoload cookies on defcustoms |
Date: | Fri, 07 Jul 2006 21:13:01 -0400 |
If package foo gets autloaded sometime after startup --- the option foo ends up with its default value -- not your saved value --- and you end up needing to do a "reset to saved". I don't understand the scenario you describe here. Could you be more specific?
[Prev in Thread] | Current Thread | [Next in Thread] |