Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Select an option

  • Save chrisalbon/9affdbe840ac0a30fd5d0faa63169eb0 to your computer and use it in GitHub Desktop.

Select an option

Save chrisalbon/9affdbe840ac0a30fd5d0faa63169eb0 to your computer and use it in GitHub Desktop.

Revisions

  1. chrisalbon created this gist Mar 2, 2024.
    13 changes: 13 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,13 @@
    // Place your key bindings in this file to override the defaults
    [
    // Toggle between terminal and editor focus
    {
    "key": "ctrl+`",
    "command": "workbench.action.terminal.focus"
    },
    {
    "key": "ctrl+`",
    "command": "workbench.action.focusActiveEditorGroup",
    "when": "terminalFocus"
    }
    ]