Clear marks when the search string changes. From Anindya Mukherjee,
commita8da24771cd7c51b531fafef0b2d51e3a7fbad1f
authornicm <nicm>
Fri, 22 Jul 2022 07:14:07 +0000 (22 07:14 +0000)
committernicm <nicm>
Fri, 22 Jul 2022 07:14:07 +0000 (22 07:14 +0000)
tree129f565549927a40465538077fad632dd2d172fc
parentee431d482a8dac52f4fb16de1038e819a9e42b9a
Clear marks when the search string changes. From Anindya Mukherjee,
GitHub issue 3255.
window-copy.c