gnome-shell-instant-workspace-switching

Gnome-shell即时工作区切换 gnome-shell扩展，消除了工作空间之间的切换时间，而无需禁用其他动画 安装 将文件夹 /复制到$ HOME / .local / share / gnome-shell / extensions（如果扩展名/文件夹不存在，请创建它） 注销并重新登录，或者通过按Alt-F2重新启动gnome-shell，然后键入r并按Enter。 打开gnome-tweak-tool并启用扩展。 它应立即生效。 出版 转到并按照说明进行操作