☰

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

tag-icon • tag-icon 18.04 gnome-shell workspaces workspace-switcher mutter
18.04 Gnome Mutter：更改工作区切换器动画持续时间

Ubuntu 18.04 Gnome 3.28.2（我相信带有默认的 Mutter）

工作区切换器动画很棒，我发现切换器叠加很有用，但它对于我的工作流程来说太耗时了。我不是在问如何消除动画或切换器叠加。相反，我想让动画更快。动画有两个部分：

  1. 工作区上下移动，另一个工作区滑入其后面。
  2. 覆盖层显示在工作区之间移动的表示，然后在第一部分结束后停留在新工作区顶部约一秒钟。

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

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

答案1

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

相关内容