Update keybindings.json

This commit is contained in:
lianghongkey 2019-08-27 10:55:10 +08:00 committed by GitHub
parent 35ff53d22d
commit 6fc91d628c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 8 deletions

View File

@ -67,10 +67,6 @@
"key": "ctrl+b", "key": "ctrl+b",
"command": "workbench.action.toggleSidebarVisibility" "command": "workbench.action.toggleSidebarVisibility"
}, },
{
"key": "ctrl+shift+r",
"command": "workbench.action.reopenClosedEditor"
},
{ {
"key": "ctrl+p", "key": "ctrl+p",
"command": "workbench.action.quickOpen" "command": "workbench.action.quickOpen"
@ -170,12 +166,14 @@
"when": "terminalFocus" "when": "terminalFocus"
}, },
{ {
"key": "ctrl+shift+]", "key": "ctrl+]",
"command": "workbench.action.terminal.focusNext" "command": "workbench.action.terminal.focusNext",
"when": "terminalFocus"
}, },
{ {
"key": "ctrl+shift+[", "key": "ctrl+[",
"command": "workbench.action.terminal.focusPrevious" "command": "workbench.action.terminal.focusPrevious",
"when": "terminalFocus"
}, },
{ {
"key": "shift+escape", "key": "shift+escape",