mirror selection cut/copy into system clipboard
- SHA
dd2b33c5ac002f590accdf8c9721f951103dbd79- Parents
-
998f55b - Tree
0432de8
dd2b33c
dd2b33c5ac002f590accdf8c9721f951103dbd79998f55b
0432de8| Status | File | + | - |
|---|---|---|---|
| M |
src/io/readline.f90
|
4 | 0 |
src/io/readline.f90modified@@ -732,6 +732,10 @@ contains | ||
| 732 | 732 | call state_buffer_get(state, temp_buf) |
| 733 | 733 | call state_kill_buffer_set(state, temp_buf(sel_start+1:sel_end)) |
| 734 | 734 | state%kill_length = span |
| 735 | + | |
| 736 | + ! Sprint 5: also write to system clipboard (no-op if no tool detected). | |
| 737 | + call clipboard_copy(temp_buf(sel_start+1:sel_end), span) | |
| 738 | + | |
| 735 | 739 | call debug_selection_log('copy-to-kill', state) |
| 736 | 740 | end subroutine copy_selection_to_kill_buffer |
| 737 | 741 | |