Bagaimana saya bisa mengubah pintasan keyboard untuk navigasi jendela di GNOME?

Melihat ke halaman bantuan GNOME , Saya melihat bahwa seharusnya ada bagian yang disebut "Navigasi" di dialog pintasan keyboard. Tetapi ketika saya berada di area pengaturan itu, saya melihat banyak pintasan keyboard yang dapat saya ubah, tetapi tidak ada bagian Navigasi. Apakah ini sudah dihapus di GNOME 3.30? Jika demikian, bagaimana cara mengubah pintasan keyboard untuk navigasi jendela di GNOME? Saya ingin, katakanlah, mengubah pintasan untuk pergi ke ruang kerja berikutnya.

keyboard-shortcuts gnome

— Jonathan
sumber

Saya mengalami masalah ini pada Ubuntu Mate sejak memutakhirkan ke 18.04. Untungnya, saya telah mengatur semua jalan pintas yang saya inginkan sebelum upgrade. Sangat sesekali, ketika saya masuk ke Keyboard Shortcuts ada sebuah Window bagian (atau apakah itu Windows atau Window Management?), dan ini berisi kunci yang hilang, tetapi saya tidak pernah menemukan apa yang memicu ini. Saya dapat menemukan pengaturan dengan dconf Editor dan mengubahnya, tapi itu membosankan: mereka ada di /org/gnome/desktop/wm/keybindings.

— AFH