I suspect there are also other related problems here. I always used the "right control (while pressed)" option, but since 13.10 it seems to identify the Right CTRL key the same as Right ALT on my keyboard. Is that normal???
Gnome-tweak-tool does not work here either, nothing I set there takes effect.
I suspect there are also other related problems here. I always used the "right control (while pressed)" option, but since 13.10 it seems to identify the Right CTRL key the same as Right ALT on my keyboard. Is that normal???
Gnome-tweak-tool does not work here either, nothing I set there takes effect.