Created attachment 116592 [details] Pointer speed slider When dragging the pointer speed slider of the mouse settings to the highest setting it is still too slow for me. I think a maximum value three times higher would be good.
That's as high as Libinput allows. We can't go any faster, sorry. :( Please complain to them if you feel like the upper limit is too low. It may actually be that your mouse isn't properly handled and that they need to add an exception for it.
Thanks for the hint. My mouse should be correctly configured, at least there is a hwdb entry in udev with its parameters already. So I went ahead and created an issue at libinput: https://gitlab.freedesktop.org/libinput/libinput/issues/198