Как я могу изменить количество рабочих пространств в расширении `Workspace Grid`?

Question 1

Я установил расширение Workspace Grid , и в настройке по умолчанию было 2 x 3 рабочих пространства.

enter image description here

Но я хочу только 2 х 2.

enter image description here

Я пытался редактировать это Конфигурация в https://extensions.gnome.org/local/ , однако мой Ubuntu 11.10 Oneiric Oncelot не поддерживает кнопку конфигурации . Я думаю, это потому, что я не могу использовать более новую версию Gnome Shell. В настоящее время я использую GNOME Shell 3.2.2.1 .

Как изменить количество рабочих областей без использования кнопки конфигурации?

Question 2

Как вы можете видеть на странице математического кофе BitBucket , вы можете изменить эту конфигурацию через файл extension.js .

Сначала найдите папку Workspace Grid внутри папки расширений. У меня есть:

$ cd ~/.local/share/gnome-shell/extensions/workspace-grid@mathematical.coffee.gmail.com

Открыть extension.js файл:

$ vim extension.js

Найти следующие строки:

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

И изменить [ 114] и columns для желаемого количества рабочих пространств:

rows: 2,
columns: 2

Перезагрузите компьютер.

Yamaneko · Answer 1 · 8 February 2013 в 10:58