Christer, thanks for the research into this. Yes, it does sort of sound like maybe gnome-keyboard-properties is doing something improper. I've added control-center to this bug. If someone can confirm that it's being done by that tool, then it can be handled there.
Christer, thanks for the research into this. Yes, it does sort of sound like maybe gnome-keyboard- properties is doing something improper. I've added control-center to this bug. If someone can confirm that it's being done by that tool, then it can be handled there.