commit | 1b92afa799a1b4f67fe098a3cae53e1d9869500e | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Sep 10 06:48:01 2018 +0000 |
committer | nicm <nicm> | Mon Sep 10 06:48:01 2018 +0000 |
tree | 0a5a72ff3204520d4fb19b5889604b7e79dcc1e5 | |
parent | 8f9491ddfe525f8ac32175871d269d0fb4adebc3 [diff] |
Do not clear selection when searching.