GNU bug report logs - #56507
Suggestions for the "Options" menu

Previous Next

Package: emacs;

Reported by: Stefan Kangas <stefan <at> marxist.se>

Date: Tue, 12 Jul 2022 01:50:01 UTC

Severity: wishlist

Done: Stefan Kangas <stefan <at> marxist.se>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: 56507 <at> debbugs.gnu.org
Subject: bug#56507: Suggestions for the "Options" menu
Date: Tue, 12 Jul 2022 16:10:02 +0200

Stefan Kangas <stefan <at> marxist.se> writes:

> How about moving these two items to "Options -> Show/Hide"?  They seem
> to fit in well with the other items in that submenu.

Hm...  perhaps -- we've got things like Tooltips under Show/Hide which
is in the same class as Blinking Cursor, sort of.  But only sort of.

I think I prefer to keep those options as is.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no
This bug report was last modified 3 years and 8 days ago.

Previous Next

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