Comment 80 for bug 969359

oops sorry for repeat #79. Could not figure out how to delete. Problem came back when I restored /usr/lib/gnome-settings-daemon-3.0/keyboard.gnome-settings-plugin. I aam running a laptop with an external keyboard with numlock available via a fn key, with a separate number pad. This last time I think I did something on the separate number pad right before I set off the bug. tried to replicate it after logout/login, but could not.