commit | a4be028b76b8cc9c2066e30db8dc3866b52418ef | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Jul 08 20:29:11 2019 +0000 |
committer | nicm <nicm> | Mon Jul 08 20:29:11 2019 +0000 |
tree | 9166776eec4e90df3b7112b6b12f498e168564c6 | |
parent | cbe781203f80b0e45cafa44bc3d1635c8d3cf354 [diff] |
Clear search marks before resize, GitHub issue 1823.