devtools

Handle shortcuts for actions like copy/paste when embedded inside VS Code

#9472

Merged