Update keybindings.json

This commit is contained in:
lianghongkey 2019-08-20 19:48:36 +08:00 committed by GitHub
parent fa9c6bfc78
commit 9c974a7fb0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 21 additions and 1 deletions

View File

@ -155,7 +155,7 @@
"when": "terminalFocus" "when": "terminalFocus"
}, },
{ {
"key": "ctrl+p", "key": "ctrl+shift+n",
"command": "workbench.action.terminal.findPreviousTerminalFocus", "command": "workbench.action.terminal.findPreviousTerminalFocus",
"when": "terminalFocus" "when": "terminalFocus"
}, },
@ -291,4 +291,24 @@
"command": "toggleSearchWholeWord", "command": "toggleSearchWholeWord",
"when": "searchViewletFocus && searchViewletVisible" "when": "searchViewletFocus && searchViewletVisible"
}, },
{
"key": "ctrl+f",
"command": "workbench.action.terminal.focusFindWidget",
"when": "terminalFocus"
},
{
"key": "ctrl+f",
"command": "workbench.action.terminal.focusFindWidget",
"when": "terminalFindWidgetFocused"
},
{
"key": "ctrl+n",
"command": "workbench.action.terminal.findNextTerminalFocus",
"when": "terminalFindWidgetFocused"
},
{
"key": "ctrl+shift+n",
"command": "workbench.action.terminal.findPreviousTerminalFocus",
"when": "terminalFindWidgetFocused"
},
] ]