18.04 Gnome Mutter：更改工作区切换器动画持续时间

Question

Ubuntu 18.04 Gnome 3.28.2（我相信使用默认的 Mutter）

工作区切换器动画很好，我发现切换器叠加很有用，但对于我的工作流程来说它花费的时间太长。我不是问如何消除动画或切换器覆盖。相反，我想让动画更快。动画分为两部分：

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

我通常担心第一部分，但为了实现最佳功能，需要减少这两部分的持续时间。

供未来求助者使用的背景信息（据我所知）：工作区切换器是 Mutter 的一个组件，GNOME Shell 使用它来管理窗口。GNOME shell 是 Ubuntu 18.04 的默认桌面环境。

Answer 1

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