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

From: Eli Zaretskii <[email-masked]>
Date: Tue, 12 Jul 2022 05:34:42 +0300

> From: Stefan Kangas <[email-masked]>
> Date: Mon, 11 Jul 2022 20:49:39 -0500
> 
> 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.

Cursor blinking control is definitely not standard.

Anyway, I object to changing this on these grounds, because by this
logic we could remove any setting from that menu.