doc: foot.1: mention that selection is kept after ending a scrollback search

This commit is contained in:
Daniel Eklöf 2019-11-29 22:09:08 +01:00
parent cb168ec8d7
commit c2e81cd4b2
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F

View file

@ -100,7 +100,8 @@ available:
*return* *return*
Finish the search and copy the current match to the primary Finish the search and copy the current match to the primary
selection selection. The terminal selection is kept, allowing you to press
*ctrl*+*shift*+*c* to copy it to the clipboard.
# MOUSE SHORTCUTS # MOUSE SHORTCUTS