diff options
| author | Blaž Hrastnik | 2021-09-21 15:51:49 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-09-24 01:30:28 +0000 |
| commit | 2e0803c8d9ec0028c0d018be251c7c2b781247b3 (patch) | |
| tree | 342c9a4745c8becd490c1ecddaa38b11d24e6b9a /book/theme/highlight.css | |
| parent | 75dba1f9560c6ea579e79ff074e60ba2fb87ca63 (diff) | |
Implement 'remove_primary_selection' as Alt-,
This allows removing search matches from the selection
Fixes #713
Diffstat (limited to 'book/theme/highlight.css')
0 files changed, 0 insertions, 0 deletions