I upgraded from 16.04 to 19.04. Now my mouse pointer speed is way slower, I set it to maximum speed but it's still slow. This is unworkable as I have three screens and I can't move the mouse pointer over three screens without using a lot more space than my mouse mat. I use standard Ubuntu 19.04, that's with gnome3 I think. I asked this question before, when I upgraded to 18.04, but I ended up going back to 16.04. With tweak tools, I set acceleration to "adaptive", which seems to be the fastest of the three options. But it's still slow.
How do I increase mouse acceleration by at least a factor 10? Like I had in 16.04?