[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A customize idea...
|
From: |
Richard Stallman |
|
Subject: |
Re: A customize idea... |
|
Date: |
Sat, 08 Jul 2006 11:32:00 -0400 |
It would be probably nice if customizing such a variable would also
record the sxhash value of its _default_ value. If at a later time it
is found that the hash of the default value has changed, the user gets
notified and can choose whether he wants to keep his customized value
(in which case the sxhash gets updated to that of the new default),
delete his customization, or get diff-buffers started on two
That is a good idea. Would you put it in etc/TODO?