I press the key and it doesn't do anything, the Numpad left arrow still works. I have made my own patch to fix the problem on my home computer, I'm on a Chromebook right now which has workman built-in and working so I can't create a pull request right now.