Setelah Anda menonaktifkan ruang kerja "dinamis" menggunakan Tweak (GNOME) dan mengaktifkan yang "statis" (dengan nomor tetap, 4 dalam hal ini), instal ekstensi GNOME yang disebut Workspace Grid . Saya t
Mengatur ruang kerja dalam kisi yang dapat dikonfigurasi.
Juga:
- mengimplementasikan ikatan kunci untuk navigasi ruang kerja kiri / kanan (atas / bawah sudah diterapkan)
- memperbarui bilah sisi ruang kerja dengan konfigurasi kisi (gunakan Hapus Bilah Ruang Kerja jika Anda tidak menginginkannya).
Dari preferensi ekstensi, Anda dapat mengatur tata letak pilihan Anda (mis. 2x2, 2x3, 3x3 dll.).
Anda dapat melihat halaman GitHub -nya untuk informasi lebih rinci.
Secara resmi ia belum mendukung GNOME v3.26, tetapi seharusnya berfungsi dengan baik. Kalau tidak, Anda mungkin bisa membuatnya berfungsi menambahkan "3.26"
ke metadata.json
file -nya .
Pembaruan dari penanya:
Berhasil di luar kotak tanpa mengubah apa pun. Bahkan pintasan kustom lama saya berfungsi.
Pembaruan 2: Ubuntu 19.04
Saat ini ekstensi tidak berfungsi dengan Gnome 3.32 dan mungkin perlu beberapa saat sebelum (jika) akan kembali, karena pengelola saat ini (terima kasih zakkak ) sedang mencari relawan untuk mengambil alih pemeliharaan ). Pengganti yang cocok dapat berupa Workspace Matrix yang memiliki fitur sedikit lebih sedikit, tetapi fitur utamanya ada.