Replace cursor hover with jump commands

This commit is contained in:
Wilfried OLLIVIER 2023-01-10 13:40:55 +01:00
parent 6d2efee14a
commit 4ee75c2f2c

View file

@ -157,16 +157,14 @@
"key": "ctrl+0", "key": "ctrl+0",
"command": "-workbench.action.focusSideBar" "command": "-workbench.action.focusSideBar"
}, },
// Cursor hover // Jumplist
{ {
"key": "ctrl+i ctrl+i", "key": "ctrl+o",
"command": "editor.action.showHover", "command": "workbench.action.navigateBack"
"when": "editorTextFocus"
}, },
{ {
"key": "ctrl+k ctrl+i", "key": "ctrl+i",
"command": "-editor.action.showHover", "command": "workbench.action.navigateForward"
"when": "editorTextFocus"
}, },
// Error navigation // Error navigation
{ {