在 Ubuntu 16.04 (Unity) 中，我设置了一个快捷方式，可以通过按住Super+MouseWheelUp 或Super+MouseWheelDown来更改工作区。我正在尝试使用 Ubuntu 17.10 在 GNOME 上设置类似的东西。但是，我找不到使用设置、GNOME 调整或 DConf 编辑器将鼠标按钮添加为键盘快捷键的一部分的方法。任何人都可以指出我正确的方向吗？
我的目标：
Super+MouseWheelUp 绑定到 Workspace Up
Super+MouseWheelDown 绑定到 Workspace Down
keyboard workspaces mouse-scroll workspace-switcher gnome-shell