18.04 Gnome Mutter:更改工作区开关动画持续时间

Question

Ubuntu18.04 Gnome 3.28.2 (我相信是默认的Mutter )

工作区切换器动画很好，我发现切换覆盖很有用，但是我的工作流程太长了。我不是问如何消除动画或切换覆盖。相反，我想让动画更快。动画有两个部分：

1. 工作区向上/向下移动，另一个幻灯片在其后面移动。
2. 覆盖显示工作空间之间移动的表示，然后在第1部分完成后，在新工作区的顶部放置大约一秒钟。

我通常关注的是第一部分，但是为了实现最佳的功能，需要缩短这两个部分的持续时间。

背景信息(据我所知)，为未来的帮助-搜索引擎:工作区开关是一个组件的the，这是GNOME Shell用来管理窗口。GNOME是Ubuntu18.04的默认桌面环境。

Answer 1

我找到了一个不能弹出的分机。不完全是你想要的，但它可能对你有帮助。您可能已经解决了这个问题，但是如果没有，这里有一个gnome扩展网站的链接。有一个扩展可以满足您的需要。这里：https://extensions.gnome.org/extension/959/disable-workspace-switcher-popup/