Acho que o código correto para o numpad / é keypad_divide
. Você deve poder usá-lo alterando as combinações de teclas do usuário da seguinte forma:
[
{ "keys": ["ctrl+keypad_divide"], "command": "toggle_comment", "args": { "block": false } },
{ "keys": ["ctrl+shift+keypad_divide"], "command": "toggle_comment", "args": { "block": true } }
]
Além disso, você parece ter um teclado ISO, se você quiser usar a tecla 7/
para comentários, você deve alterar suas combinações de teclas da seguinte forma:
[
{ "keys": ["ctrl+7"], "command": "toggle_comment", "args": { "block": false } },
{ "keys": ["ctrl+shift+7"], "command": "toggle_comment", "args": { "block": true } }
]