Closed seanpoulter closed 5 months ago
Thanks for raising the issue. I think all proposals make sense and we should pick whichever is more reliable.
How about using the built-in command? I found workbench.action.terminal.copySelection
listed in Preferences: Open Keyboard Shortcuts. We don't have to deal with the platform or keys to press at all.
I found this while reviewing #94.
Problem
We assume the command to copy from the terminal is Ctrl--c:
Proposal