Comment 25 for bug 1045914

I am also affected by the bug. Any permanent workaround or solution would be much appreciated.

Regarding the gnome-tweak-tool : what is the exact name of the option in the typing panel. I can not locate anything that seems helpful.

Thanks in advance.