Depois de desativar os espaços de trabalho "dinâmicos" usando os ajustes (GNOME) e ativar os "estáticos" (com um número fixo, 4 nesse caso), instale uma extensão do GNOME chamada Workspace Grid . isto
Organiza os espaços de trabalho em uma grade configurável.
Além disso:
- implementa atalhos de teclado para a navegação da área de trabalho esquerda / direita (as opções para cima / para baixo já estão implementadas)
- atualiza a barra lateral dos espaços de trabalho com a configuração da grade (use Remover a barra lateral dos espaços de trabalho, se não desejar).
Nas preferências da extensão, você poderá definir seu layout preferido (por exemplo, 2x2, 2x3, 3x3 etc.).
Você pode ver a página do GitHub para informações mais detalhadas.
Oficialmente, ainda não suporta o GNOME v3.26, mas deve funcionar bem. Caso contrário, você poderá fazê-lo funcionar adicionando "3.26"
ao seu metadata.json
arquivo.
Atualização do solicitante:
Funcionou imediatamente, sem alterar nada. Até meus antigos atalhos personalizados funcionavam.
Atualização 2: Ubuntu 19.04
Atualmente, a extensão não funciona com o Gnome 3.32 e pode demorar um pouco antes (se) novamente, porque é o atual mantenedor (obrigado zakkak ) está procurando por voluntários para assumir a manutenção ). Uma substituição adequada pode ser o Workspace Matrix, que possui um pouco menos de recursos, mas os principais estão presentes.
Open gnome-tweak-tool, go to “Shell Extensions”, “Install Extension” and select the .zip file
mas para mim, na guia "Extensões" da ferramenta, eu não encontrei essa opção ...zip
at~/.local/share/gnome-shell/extensions
.