Ok, encontrei o problema.
Esta é uma falha na interface do usuário.
O widget não é uma caixa de seleção, mas um rádio. Você precisa clicar na outra opção "Verificações de varredura de espaços de trabalho".
Isso é simples ...
Estou tentando alterar algumas das opções do espaço de trabalho no Ubuntu 17.10. Eu particularmente não gosto de muitas das alterações nas configurações padrão. Em particular, eu não gosto de como os espaços de trabalho são apenas "verticais" agora e não mais em uma grade X por X. Além disso, quero alterar o comportamento que parece impedir que um dos meus dois monitores "participe" no espaço de trabalho.
Eu vi algumas pessoas explicarem que isso pode ser corrigido com a ferramenta gnome-tweak como aqui: Como posso fazer o gnome-shell tratar ambos os monitores da mesma maneira?
No entanto, quando tento alterar as configurações na guia "espaços de trabalho", todas as opções são cinza e não podem ser clicadas.
Existe uma maneira de tornar ativa a guia espaços de trabalho, para que eu possa alterar essas configurações?
Ok, encontrei o problema.
Esta é uma falha na interface do usuário.
O widget não é uma caixa de seleção, mas um rádio. Você precisa clicar na outra opção "Verificações de varredura de espaços de trabalho".
Isso é simples ...