Subject: Re: bug#6211: save options does not save the tool-bar-mode preference

From: Glenn Morris <[email-masked]>
Date: Thu, 09 Sep 2010 23:06:12 -0400

Version: 23.3

I don't really understand this, but it seems to be fixed by this change:

2010-09-10  Glenn Morris  <rgm at gnu.org>

  * menu-bar.el (menu-bar-options-save): Fix handling of menu-bar
  and tool-bar modes.  (Bug#6211)
  (menu-bar-mode): Move setting of standard-value after the
  minor-mode definition, otherwise it seems to have no effect.