comparison COPYING @ 58586:7bc75f3f915a

(menu-bar-options-save): For the options that are toggled with menu-bar-make-mm-toggle, don't check for customized-value prop.
author Richard M. Stallman <rms@gnu.org>
date Sat, 27 Nov 2004 19:01:02 +0000
parents a21a2f14a765
children d92149473c34
comparison
equal deleted inserted replaced
58585:d6ce53475b81 58586:7bc75f3f915a