Ubuntu 18.04 Gnome 3.28.2 (with the default Mutter, I believe)
The workspace switcher animation is nice, and I find the switcher overlay useful, but it takes too long for my workflow. I am not asking how to eliminate the animation or the switcher overlay. Rather, I want to make the animation faster. There are two parts of the animation:
- The workspace moves up/down and another slides into place behind it.
- The overlay displays a representation of moving between workspaces and then sits on top of the new workspace for about a second after part 1 finishes.
I am generally concerned about the first part, but reducing the duration of both would be needed for optimal functionality.
Background information (as I understand it) for future help-seakers: the workspace switcher is a component of Mutter, which is used by the GNOME Shell to manage windows. GNOME shell is the default desktop environment for Ubuntu 18.04.