Switch default keybinding

pokey · pokey · commit 0a1e33303d51 · 2021-08-23T11:00:53.000+01:00
diff --git a/package.json b/package.json
@@ -40,6 +40,11 @@
 			}
 		],
 		"keybindings": [
+			{
+				"command": "command-server.runCommand",
+				"key": "ctrl+shift+f17",
+				"mac": "cmd+shift+f17"
+			},
 			{
 				"command": "command-server.runCommand",
 				"key": "ctrl+shift+alt+p",

Original file line number	Diff line number	Diff line change
`@@ -40,6 +40,11 @@`
`40`	`40`	`}`
`41`	`41`	`],`
`42`	`42`	`"keybindings": [`
	`43`	`+ {`
	`44`	`+ "command": "command-server.runCommand",`
	`45`	`+ "key": "ctrl+shift+f17",`
	`46`	`+ "mac": "cmd+shift+f17"`
	`47`	`+ },`
`43`	`48`	`{`
`44`	`49`	`"command": "command-server.runCommand",`
`45`	`50`	`"key": "ctrl+shift+alt+p",`