That's available with the Gnome Tweak tool IIRC.



They should also allow the mouse acceleration/deceleration to be disabled...