a gnome shell extension to more easily toggle the "disable touchpad while typing" setting
gnome extensions
source code
