Skip to content

Instantly share code, notes, and snippets.

@jsjoeio
Created September 4, 2019 02:30
Show Gist options
  • Select an option

  • Save jsjoeio/50cbb0d5a17c7e1acec70fbd7dd8431f to your computer and use it in GitHub Desktop.

Select an option

Save jsjoeio/50cbb0d5a17c7e1acec70fbd7dd8431f to your computer and use it in GitHub Desktop.
egghead - Add a Keyboard Shortcut to Switch Between the Workbench and the Integrated Terminal
[
{ "key": "ctrl+=", "command": "workbench.action.terminal.focus" },
{
"key": "ctrl+=",
"command": "workbench.action.focusActiveEditorGroup",
"when": "terminalFocus"
},
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment