I am attempting to use the backslash key in a user keybinding.
First of all, this keybinding works as expected:
...
{ "keys": "super+f10"], "command": "reindent" },
...
However when I replace f10 with “backslash” - which is an official documented key name for the backslash key ‘’ - then the keystroke will not work:
...
{ "keys": "super+backslash"], "command": "reindent" },
...
Am I using ‘backslash’ incorrectly, or is this a bug?