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

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

Stefan Kangas <[email-masked]> writes:

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

Hm...  perhaps -- we've got things like Tooltips under Show/Hide which
is in the same class as Blinking Cursor, sort of.  But only sort of.

I think I prefer to keep those options as is.

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