f23+Gnome3.18: how to disable touchpad while typing