On Tue, 2016-05-17 at 17:31 -0700, Samuel Sieb wrote:
besides that, I think the numlock state is global
Not on my (out-of-date) systems. I have full keyboards, laptops without numberpads, and an external USB numberpad. None of them have any affect on the external numberpad when I play with the NumLock key, and that's how it should be. Any modifiers should only affect their own keyboard.
Personally, I see absolutely no value in turning a numberpad into a second set of cursor controls, when the keyboard has dedicated sets of keys for those functions (cursor LRUD, home/end, page up/down, INS/DEL). It's duplicating something that's already there, and set-out better, and removing a useful feature (a sensibly organised numberpad).