I don't, at one point I did with 789 being the 789...

# tornadofx

[kevinmost]

I don't, at one point I did with 789 being the 789 for the numpad, and going down from there (UIO being 456, JKL being 123), but then I realized I'd rather use IJKL for mouse-keys, and I never find myself wanting a numpad, so I switched it