A GNOME Shell Extension to more easily toggle the "disable touchpad while typing" setting
GNOME Extensions
Source Code
