[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56507: Suggestions for the "Options" menu
From: |
Eli Zaretskii |
Subject: |
bug#56507: Suggestions for the "Options" menu |
Date: |
Tue, 12 Jul 2022 05:34:42 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> 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.