[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: a marked search occurrence hinders old habits
From: |
Benno Schulenberg |
Subject: |
Re: a marked search occurrence hinders old habits |
Date: |
Thu, 28 Jan 2021 11:37:23 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
Op 26-01-2021 om 19:07 schreef pepa65:
> The selecting is quite invasive, and arguably should not be the default,
> but highlighting is innocuous and I don't think anybody would object to
> that being the normal behaviour.
I'm pretty sure there will be some people who will not like the
highlighting of the searched text. But... as someone said (I
forget whether it was Eitan or Kamil): People don't like change,
but when it happens, they quickly adapt.
Benno
signature.asc
Description: OpenPGP digital signature