![18.04 Gnome Mutter:更改工作区切换器动画持续时间](https://linux22.com/image/1167468/18.04%20Gnome%20Mutter%EF%BC%9A%E6%9B%B4%E6%94%B9%E5%B7%A5%E4%BD%9C%E5%8C%BA%E5%88%87%E6%8D%A2%E5%99%A8%E5%8A%A8%E7%94%BB%E6%8C%81%E7%BB%AD%E6%97%B6%E9%97%B4.png)
Ubuntu 18.04 Gnome 3.28.2(我相信带有默认的 Mutter)
工作区切换器动画很棒,我发现切换器叠加很有用,但它对于我的工作流程来说太耗时了。我不是在问如何消除动画或切换器叠加。相反,我想让动画更快。动画有两个部分:
- 工作区上下移动,另一个工作区滑入其后面。
- 覆盖层显示在工作区之间移动的表示,然后在第一部分结束后停留在新工作区顶部约一秒钟。
我通常关注第一部分,但为了实现最佳功能,需要减少两者的持续时间。
为未来的求助者提供背景信息(据我所知):工作区切换器是 Mutter 的一个组件,GNOME Shell 使用它来管理窗口。GNOME shell 是 Ubuntu 18.04 的默认桌面环境。
答案1
我找到了一个可以禁用弹出窗口的扩展程序。虽然不是你想要的,但可能会对你有所帮助。你可能已经解决了这个问题,但如果没有,这里有一个 gnome 扩展网站的链接。有一个扩展程序可以满足你的需要。这里:https://extensions.gnome.org/extension/959/disable-workspace-switcher-popup/