[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] search: automatically drop spotlighting after a few moments
|
From: |
pepa65 |
|
Subject: |
Re: [PATCH] search: automatically drop spotlighting after a few moments |
|
Date: |
Mon, 31 May 2021 22:30:09 +0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
On 5/31/21 4:02 PM, Benno Schulenberg wrote:
Even though I know that spotlighted text is not selected, I still
regularly think for a fleeting instant that the spotlighted text
can be cut with a ^K. Mitigate this by dropping the spotlighting
after 1.5 seconds (or 0.8 seconds when using --quick).
You could also mitigate this by choosing a visually different style. I never
encounter this problem.
But if you automatically drop the highlighting for everybody, that might be
undesirable. If people choose spotlighting, how do you know they want that to
disappear?
Peter