我在 Ubuntu 18 中使用 Gnome Shell 扩展工作区矩阵，并想更改它的热键（当前为Super+ W），但无法找到设置的位置。
使用dconf Editor，我看不到它的任何选项 under/org/gnome/desktop/wm/keybindings或 under /org/gnome/shell/extensions/wsmatrix。
这是怎么做到的？
AskOverflow.Dev
