PS: The fastest way I found to get temporarily rid of this annoyance is the switch user function. Switch to another random user, switch back. This seems to reset the X/Gnome/whatever keyboard settings.
PS: The fastest way I found to get temporarily rid of this annoyance is the switch user function. Switch to another random user, switch back. This seems to reset the X/Gnome/whatever keyboard settings.