Subject: Re: bug#56507: Suggestions for the "Options" menu

From: Stefan Kangas <[email-masked]>
Date: Tue, 12 Jul 2022 09:04:21 -0500

Lars Ingebrigtsen <[email-masked]> writes:

> Stefan Kangas <[email-masked]> 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.