Stuttery workspace switching, but not when using gestures.
For a long time workspace switching in gnome has been very slow and stuttery. I thought this was a general performance problem until now. Recently, new gestures were added to gnome that move as you swipe, not afterward. These work much faster then using a keyboard shortcut or the old gestures, and do not stutter. This makes me believe that something is wrong with the part of the code that animates the switches, and not just a vague performance issue.
I am using gnome-shell 3.30.0+21+gb087752b-1 on an arch linux Dell XPS laptop, with intel graphics.
This issue has affected me for all the time I have used gnome, which is since 3.28.