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

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 12 Jul 2022 15:16:07 +0200

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.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no