我使用Gnome 3.12运行Debian测试。安装“ Workspace Grid”扩展后，工作区切换动画变得越来越烦人。我说的是在使用Ctrl + Alt + Arrow快捷键时出现在屏幕中间的那个东西。它变得臭到不能提供零信息的程度，此外，覆盖层需要一些时间才能消失，而且我真的看不到它下面的内容。
在晚上或晚上，动画只会伤害我的眼睛（在深色覆盖层和浅色浏览器/ IDE之间快速闪烁）。如何禁用它？如果没有可用的选项（并且可以通过扩展禁用覆盖），我愿意为Gnome Shell开发一个扩展。注意：我仍然需要所有其他动画，包括工作区切换的滑动效果。