Jawaban:
Ya, Anda bisa melakukannya menggunakan ekstensi Workspace Grid .
Lakukan salah satu dari yang berikut (direproduksi dari bagian Instalasi ):
- Unduh
.zip
file di halaman Unduhan .- Buka
gnome-tweak-tool
, buka "Shell Extensions", "Install Extension" dan pilih.zip
file.Atau
- Kunjungi https://extensions.gnome.org/extension/484/workspace-grid/
- Instal dengan mengklik sakelar sakelar
- Tekan tombol konfigurasi di sebelah sakelar (mungkin perlu memuat ulang halaman).
gnome-tweak-tool
Saya menemukan item dengan nama Extensions
. Di bawah ini saya melihat Ubuntu appindicators
dan Ubuntu dock
. Itu untuk Ubuntu 17.04.