Finalmente, encontrei uma solução.
Parece que você precisa editar manualmente as configurações com o dconf-editor
(pacote dconf-tools).
Para editar a ligação do teclado do espaço de trabalho, deve-se usar a ferramenta dconf e editar as configurações no caminho org -> gnome -> desktop -> wm -> keybindings
.
A sintaxe para keybindings é a mesma de outras edições do Gnome e é a mesma exibida em "Configurações do Sistema - > Teclado - > Atalhos".