4 Jun
2015
4 Jun
'15
4:40 a.m.
2015-05-18 2:12 GMT+02:00 Daniel Wagner
Just in case the question was more specific than it needed to be, it's possible the numeric keypad reports different keys than the "number keys" at the top of your normal keyboard anyway. X distinguishes between xK_6 and xK_KP_6. So if you don't normally use the keypad on your main keyboard, this can be an option.
Many thanks, Daniel, for your notice. You are quite right that my numeric keypad reports distinct keys, and I should have realized that, since they do not toggle workspaces. So i might even get away with a single keyboard. Thanks again (and sorry for the late reply).