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

Previous Next

Full log

View this message in rfc822 format

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

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

> Stefan Kangas <stefan <at> marxist.se> writes:
>
>> 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.
>
> I think the point here is to have an easy way to disable both of these
> things (since both are things that many people find annoying), so I'd
> rather keep them in the menu.

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

Previous Next

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