Jawaban:
Ya, Anda bisa melakukannya menggunakan ekstensi Workspace Grid .
Lakukan salah satu dari yang berikut (direproduksi dari bagian Instalasi ):
- Unduh
.zipfile di halaman Unduhan .- Buka
gnome-tweak-tool, buka "Shell Extensions", "Install Extension" dan pilih.zipfile.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-toolSaya menemukan item dengan nama Extensions. Di bawah ini saya melihat Ubuntu appindicatorsdan Ubuntu dock. Itu untuk Ubuntu 17.04.