GNU bug report logs - #6211
save options does not save the tool-bar-mode preference

Previous Next

Package: emacs;

Reported by: Stefano Zacchiroli <zack <at> upsilon.cc>

Date: Tue, 18 May 2010 15:08:04 UTC

Severity: normal

Merged with 6895, 7411

Found in versions 23.1.1, 23.2, 24.0.50

Fixed in version 23.3

Done: Glenn Morris <rgm <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Glenn Morris <rgm <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#6895: closed (Options --> save Options does not save toolbar
 hiding)
Date: Fri, 10 Sep 2010 03:05:02 +0000

[Message part 1 (text/plain, inline)]
Your message dated Thu, 09 Sep 2010 23:06:12 -0400
with message-id <oi4ody47rv.fsf <at> fencepost.gnu.org>
and subject line Re: bug#6211: save options does not save the tool-bar-mode preference
has caused the GNU bug report #6211,
regarding Options --> save Options does not save toolbar hiding
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
6211: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=6211
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]
From: Ole Streicher <bugs.emacs <at> liska.ath.cx>
To: submit <at> debbugs.gnu.org
Subject: Options --> save Options does not save toolbar hiding
Date: Sun, 22 Aug 2010 09:57:17 +0200

Package: emacs
Version: 23.1.1

(x86_64-pc-linux-gnu, GTK+ Version 2.20.0) of 2010-03-29 on yellow,
modified by Debian

If I select "Options", "Show/Hide" and ""Tool-bar" so that the toolbar
is hidden, an then "Options", "Save Options", this setting is not saved,
regardless of the tooltip of "Safe Options" which mentiones "Save
options set from the menu above".



[Message part 3 (message/rfc822, inline)]
From: Glenn Morris <rgm <at> gnu.org>
To: 6211-done <at> debbugs.gnu.org
Subject: Re: bug#6211: save options does not save the tool-bar-mode preference
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.
This bug report was last modified 14 years and 189 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.