[ jEdit-users ] odd handling of numeric keypad

[Chris P. <li...@fo...>]

I've noticed this for longer than I can remember (and are still present
in pre7), but I feel I should mention this in case there's time to
find/fix it before 4.3 comes out..

I've noticed that sometimes (randomly) the numeric keypad occasionally
just stops working.  If I type a number from the normal number keys (but
not letters), the numeric keypad magically starts working again.

Has anyone else run into this?

-Chris