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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Stefan Kangas <stefan <at> marxist.se>
Subject: bug#56507: closed (Re: bug#56507: Suggestions for the "Options" menu)
Date: Tue, 12 Jul 2022 14:40:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#56507: Suggestions for the "Options" menu

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 56507 <at> debbugs.gnu.org.

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

[Message part 2 (message/rfc822, inline)]

From: Stefan Kangas <stefan <at> marxist.se>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 56507-done <at> debbugs.gnu.org
Subject: Re: bug#56507: Suggestions for the "Options" menu
Date: Tue, 12 Jul 2022 09:38:45 -0500

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> I think I prefer to keep those options as is.

I guess we won't make more progress here so I'm closing the bug.
Thanks for considering my suggestions.

[Message part 3 (message/rfc822, inline)]

From: Stefan Kangas <stefan <at> marxist.se>
To: bug-gnu-emacs <at> gnu.org
Subject: Suggestions for the "Options" menu
Date: Mon, 11 Jul 2022 20:49:39 -0500

Severity: wishlist

Suggestions for the "Options" menu:

    1. Remove "Highlight Active Region".

    2. Remove "Blink Cursor".

For both of these, this is the standard behavior in almost any text
editor, and any user that wants to customize them can and will do it
without the menu.

Previous Next

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