Skip to content

Instantly share code, notes, and snippets.

@fumihito
Created January 19, 2022 04:05
Show Gist options
  • Save fumihito/6483bf8cc060033c5ef28c8df9c2f9e0 to your computer and use it in GitHub Desktop.
Save fumihito/6483bf8cc060033c5ef28c8df9c2f9e0 to your computer and use it in GitHub Desktop.
[
// disable specific keybinds that conflict to terminal key bindings.
{
"key": "ctrl+f",
"command": "cursorRight",
"when": "terminalFocus"
},
{
"key": "ctrl+e",
"command": "-workbench.action.quickOpen"
},
{
"key": "ctrl+p",
"command": "workbench.action.quickOpen",
"when": "!terminalFocus"
},
{
"key": "ctrl+k",
"command": "macros.cutToTheEnd",
"when": "terminalFocus"
},
{
"key": "ctrl+p",
"command": "-workbench.action.quickOpen"
},
// Toggle Editor and Terminal with Ctrl-; (without hiding)
{
"key": "ctrl+;",
"command": "workbench.action.terminal.focus",
"when": "editorTextFocus"
},
{
"key": "ctrl+;",
"command": "workbench.action.focusActiveEditorGroup",
"when": "terminalFocus"
},
{ "key": "ctrl+'",
"command": "workbench.action.terminal.toggleTerminal"
},
{
"key": "ctrl+z ctrl+n",
"command": "workbench.action.nextEditor"
},
{
"key": "ctrl+pagedown",
"command": "-workbench.action.nextEditor"
},
{
"key": "ctrl+z ctrl+p",
"command": "workbench.action.previousEditor"
},
{
"key": "ctrl+pageup",
"command": "-workbench.action.previousEditor"
},
{
"key": "ctrl+z ctrl+oem_period",
"command": "workbench.action.nextPanelView"
},
{
"key": "ctrl+z ctrl+oem_comma",
"command": "workbench.action.previousPanelView"
}
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment