numlock

My situation is this: I run linux Mint from Windows 8.1 using Virtualbox. I have disabled the numlock (and the other *lock keys) in Windows by rebinding my keyboard using…