Skip to content

Instantly share code, notes, and snippets.

@xunker
Created January 13, 2023 23:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save xunker/19f6f727b61ebed05969a5a4ece5a83f to your computer and use it in GitHub Desktop.
Save xunker/19f6f727b61ebed05969a5a4ece5a83f to your computer and use it in GitHub Desktop.
My VS Code keybindings
// On my machine this lives in ~/Library/Application Support/Code/User/keybindings.json
[
// move editor to the right group, or create a new group to the right
{
"key": "shift+cmd+k",
"command": "workbench.action.moveEditorToRightGroup"
},
// these 3 work together so let me jump between my terminal tab and the editor group with a single key combination
{
"key": "shift+cmd+\\",
"command": "-workbench.action.terminal.focusTabs",
"when": "terminalFocus && terminalHasBeenCreated || terminalFocus && terminalProcessSupported || terminalHasBeenCreated && terminalTabsFocus || terminalProcessSupported && terminalTabsFocus"
},
{
"key": "shift+cmd+\\",
"command": "workbench.action.terminal.focus",
"when": "!terminalFocus"
},
{
"key": "shift+cmd+\\",
"command": "workbench.action.focusActiveEditorGroup",
"when": "terminalFocus"
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment