From b3ca9f64e2bce8e8562824042cc9cdbb8e371556 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Sat, 2 Nov 2019 12:06:29 +0800 Subject: [PATCH] Update keybindings.json --- keybindings.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/keybindings.json b/keybindings.json index 384b6bb..aee0bfc 100644 --- a/keybindings.json +++ b/keybindings.json @@ -330,12 +330,12 @@ { "key": "ctrl+shift+]", "command": "workbench.action.nextEditor", - "when": "editorTextFocus || editorFocus" + "when": "!terminalFocus" }, { "key": "ctrl+shift+[", "command": "workbench.action.previousEditor", - "when": "editorTextFocus || editorFocus" + "when": "!terminalFocus" }, { "key": "ctrl+shift+w",