chore: vscode shortcuts update

Author: abose

src/extensions/default/DebugCommands/keyboard.json

@@ -11,19 +11,11 @@
     "refreshWindow":  [
         {
             "key": "F5"
-        },
-        {
-            "key": "Cmd-R",
-            "platform": "mac"
         }
     ],
     "reloadWithoutUserExts":  [
         {
             "key": "Shift-F5"
-        },
-        {
-            "key": "Cmd-Ctrl-R",
-            "platform": "mac"
         }
     ]
 }

src/extensionsIntegrated/DisplayShortcuts/vscode.json

@@ -20,5 +20,6 @@
   "Ctrl-Shift-P": "cmd.keyboardNavUI",
   "Ctrl-Shift-O": "navigate.gotoDefinition",
   "F8": "navigate.gotoNextProblem",
-  "Shift-F8": "navigate.gotoPrevProblem"
+  "Shift-F8": "navigate.gotoPrevProblem",
+  "F12": "navigate.jumptoDefinition"
 }