diff options
| author | nicm <nicm> | 2019-07-08 20:29:11 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2019-07-08 20:29:11 +0000 |
| commit | a4be028b76b8cc9c2066e30db8dc3866b52418ef (patch) | |
| tree | 9166776eec4e90df3b7112b6b12f498e168564c6 /menu.c | |
| parent | cbe781203f80b0e45cafa44bc3d1635c8d3cf354 (diff) | |
Clear search marks before resize, GitHub issue 1823.
Diffstat (limited to 'menu.c')
0 files changed, 0 insertions, 0 deletions