Comment by mgedmin

There's a switch to turn that off in gnome-tweak-tool.