Re: f18+gnome3: touchpad setting "Disable while typing" does not work anymore