- allows setting aliases of user options
- does *not* filter out obsolete variables
- shows a 3-seconds warning when the variable (alias or not) being
set is obsolete;
the warning includes the CURRENT-NAME information from
`make-variable-obsolete'
- does not show a warning for aliases (I don't think it's necessary
to single out aliases
if they aren't obsolete, and when they are, they already produce a
warning)
I think all of those are the right thing. Thanks.
_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-devel
