commit | a8da24771cd7c51b531fafef0b2d51e3a7fbad1f | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Jul 22 07:14:07 2022 +0000 |
committer | nicm <nicm> | Fri Jul 22 07:14:07 2022 +0000 |
tree | 129f565549927a40465538077fad632dd2d172fc | |
parent | ee431d482a8dac52f4fb16de1038e819a9e42b9a [diff] |
Clear marks when the search string changes. From Anindya Mukherjee, GitHub issue 3255.