It's old issue, but I just found it and solved it also.
keypad_divide is /
keypad_multiply is *
if anyone founds this issue googling now can solve it :)
Сервис поддержки клиентов работает на платформе UserEcho
Ошибки
Just to be correct: numpad / is not working. In my case, even if i did not changed anything (shift + )Ctrl + ' - ' works for me. Talking about the top row minus ..67890-=(backspace)
Font size has it's own keypad specific key:
{ "keys": ["ctrl+keypad_plus"], "command": "increase_font_size" },
{ "keys": ["ctrl+keypad_minus"], "command": "decrease_font_size" },
when:
{ "keys": ["ctrl+/"], "command": "toggle_comment", "args": { "block": false } },
{ "keys": ["ctrl+shift+/"], "command": "toggle_comment", "args": { "block": true } },
It's old issue, but I just found it and solved it also.
keypad_divide is /
keypad_multiply is *
if anyone founds this issue googling now can solve it :)