Add shortcuts for copying to clipboard

2026-07-22 08:18:08 +02:00 · 2023-03-29 19:56:08 +05:30
parent 37edc728a9
commit 7169a89591
4 changed files with 31 additions and 2 deletions
--- a/kittens/diff/main.py
+++ b/kittens/diff/main.py
@@ -266,6 +266,10 @@ map('Search forward (no regex)',
 map('Search backward (no regex)',
    'search_backward_simple b start_search substring backward',
    )
+
+map('Copy selection to clipboard', 'copy_to_clipboard y copy_to_clipboard')
+map('Copy selection to clipboard or exit if no selection is present', 'copy_to_clipboard_or_exit ctrl+c copy_to_clipboard_or_exit')
+
 egr()  # }}}

 OPTIONS = partial('''\