Thanks for the suggestion; we'll consider it. Windows hotkeys don't distinguish between the arrow keys on the numpad and the regular ones, so the problem is more complicated than it may appear.

I'd like to use the numpad arrows (with numlock off) to switch between desktops, while still typing numbers when numlock is on. Dexpot currently recognizes that, say, "4" and "numpad 4" are different keys, but it sees "right arrow" and "numpad right arrow" as the same thing.