Skip to content

Instantly share code, notes, and snippets.

@92hackers

92hackers/switch-to-terminal.js

Created August 31, 2017 11:56
Show Gist options
  • Save 92hackers/757a716f253662b62f35f7b87eccca76 to your computer and use it in GitHub Desktop.
Save 92hackers/757a716f253662b62f35f7b87eccca76 to your computer and use it in GitHub Desktop.
Download ZIP
vsCode switch to terminal from editor panel
Raw
switch-to-terminal.js
[
{ "key": "ctrl+`", "command": "workbench.action.focusActiveEditorGroup", "when": "terminalFocus" },
{ "key": "ctrl+`", "command": "workbench.action.terminal.focus", "when": "!terminalFocus" }
]
// Paste above code into F1: Open KeyboardShortcuts preferences. yourself keybinds.json
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment