Re: [PATCH 4/4] docs: remove all mentions of --markmatch and 'set markmatch'

[pepa65]

On 02/02/2021 21.20, Benno Schulenberg wrote:
> -After a search, set the mark at the end of the found match
> -(if there is any) so that it gets highlighted.  This makes
> -the match more visible, but also allows deleting the match
> -with a single keystroke.

I still think that the option to select the search result is a powerful
feature, and don't understand why you would want to take it away. I do
like to always have the result highlighted, and I don't always want to
have it selected, but the option is powerful.

Peter