()
| 397 | }); |
| 398 | } |
| 399 | function copyAndToast(): void { |
| 400 | const text_0 = selection.copySelection(); |
| 401 | if (text_0) showCopiedToast(text_0); |
| 402 | } |
| 403 | |
| 404 | // Translate selection to track a keyboard page jump. Selection coords are |
| 405 | // screen-buffer-local; a scrollTo that moves content by N rows must also |
no test coverage detected