From 4ee75c2f2c4ab325a26a5e61b5457dbaab9c0b26 Mon Sep 17 00:00:00 2001
From: Wilfried OLLIVIER <wollivier@fdn.fr>
Date: Tue, 10 Jan 2023 13:40:55 +0100
Subject: [PATCH] Replace cursor hover with jump commands

---
 keybindings.json | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/keybindings.json b/keybindings.json
index 1862d85..e35def2 100644
--- a/keybindings.json
+++ b/keybindings.json
@@ -157,16 +157,14 @@
     "key": "ctrl+0",
     "command": "-workbench.action.focusSideBar"
   },
-  // Cursor hover
+  // Jumplist
   {
-    "key": "ctrl+i ctrl+i",
-    "command": "editor.action.showHover",
-    "when": "editorTextFocus"
+    "key": "ctrl+o",
+    "command": "workbench.action.navigateBack"
   },
   {
-    "key": "ctrl+k ctrl+i",
-    "command": "-editor.action.showHover",
-    "when": "editorTextFocus"
+    "key": "ctrl+i",
+    "command": "workbench.action.navigateForward"
   },
   // Error navigation
   {