diff options
| author | Paulb23 <p_batty@hotmail.co.uk> | 2023-01-28 16:08:10 +0000 |
|---|---|---|
| committer | Paulb23 <p_batty@hotmail.co.uk> | 2023-01-28 16:08:10 +0000 |
| commit | 8cb05a5e53a59805349a83ff1bf600037938bb51 (patch) | |
| tree | 52e82537f75d6ce99753d8e100b0b7bd4dc979f1 /.github | |
| parent | 218bef90af2091afde3b1be816c87286c194a2a8 (diff) | |
Fixed removing secondary carets when editing with search open
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions