With the following shell command "shell_cmd": "explorer.exe /select,\"$file\""
I can open the Windows Explorer with the directory containing the current file and selecting the current file.
Is it possible to bind that shell_cmd to a key that I can invoke it simply, e.g. f12?