Como posso alterar o número de espaços de trabalho na extensão 'Workspace Grid'?

Question

Instalei a extensão Workspace Grid e a configuração padrão veio com 2 x 3 espaços de trabalho.

Mas eu só quero 2 x 2.

Eu tentei editar essa configuração no link , no entanto meu Ubuntu 11.10 Oneiric Oncelot não suporta o botão de configuração . Eu acho que é porque eu não posso usar uma versão mais recente do Gnome Shell. Atualmente, estou usando o GNOME Shell 3.2.2.1 .

Como posso alterar o número de espaços de trabalho sem usar o botão de configuração?

    

Answer 1

Como você pode ver na página mathematicalcoffee BitBucket , você pode alterar essa configuração através do < em> arquivo extension.js .

Primeiro, encontre sua pasta Workspace Grid dentro da pasta de extensões. O meu é:

$ cd ~/.local/share/gnome-shell/extensions/[email protected]

Abra o arquivo extension.js :

$ vim extension.js

Localize as seguintes linhas:

//// CONFIGURE HERE (note: you can have at most 36 workspaces)
const WORKSPACE_CONFIGURATION = {
    rows: 2,
    columns: 3
};

E altere rows e columns para o número desejado de espaços de trabalho:

rows: 2,
columns: 2

Reinicie o seu computador.