我有兴趣编辑与 gnome 上的“切换到工作区”快捷方式相关的脚本，该脚本默认分配给CTRL+ ALT+ arrows。
我实际上在寻找这个特定行为的脚本在哪里时遇到了一些麻烦。
我在gnome-shellgithub 页面内搜索了一下，找到js/ui/workspace.js js/ui/workspacesView.js js/ui/workspaceThumbnail.js了js/ui/workspaceSwitcherPopup.js
这些中是否有我正在寻找的内容？我查看了代码，但找不到任何具体内容。Ubuntu 是否使用了专门为 Ubuntu 制作的不同版本的 gnome-shell？
任何帮助都将不胜感激。
编辑：标题可能具有误导性，但我不完全确定该将其改为何。