bug#56507: closed (Suggestions for the "Options" menu)

[GNU bug Tracking System]

Your message dated Tue, 12 Jul 2022 09:38:45 -0500
with message-id 
<CADwFkmnh+Df+nAd3MEpb5r2rhTBA_euLTMZxy+z0HjTgEwC-qw@mail.gmail.com>
and subject line Re: bug#56507: Suggestions for the "Options" menu
has caused the debbugs.gnu.org bug report #56507,
regarding Suggestions for the "Options" menu
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56507: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56507
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56507: Suggestions for the "Options" menu
>
>
>
>
> Date: 
>
> Tue, 12 Jul 2022 09:38:45 -0500
>
>
>
>
> Lars Ingebrigtsen <larsi@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.
>
>
> --- End Message ---