Laporan bug gnome-shell ini menguraikan masalah dengan pintasan Super + Key, dan merinci solusi peretasan (yang sepenuhnya memperbaiki masalah bagi saya!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
Pada dasarnya, masalahnya adalah pintasan khusus ditangani oleh gnome-settings-daemon, yang tidak mengambil kunci Super dengan benar. Manajer jendela (dalam hal ini, bergumam) dapat melihat kunci Super. Jadi, Olivier Crete menulis ekstensi yang membaca definisi pintasan khusus Anda dan meneruskannya menjadi bergumam. Saya menginstal ekstensi dan itu berfungsi bagus untuk saya. Tidak perlu menekan tombol ganda seperti yang dibicarakan beberapa komentator sebelumnya.
Ekstensi tidak ada di situs ekstensi gnome resmi karena ditolak (Anda dapat membaca ulasan lucu di sini: https://extensions.gnome.org/review/1658 ... tampaknya pengulas mengalami masalah dengan pemahaman bacaan! ). Namun, Anda dapat mengunduh ekstensi melalui komentar 33 di laporan bug.
Buka zip file ke direktori ~ / .local / share / gnome-shell / extensions Anda, restart gnome-shell (Alt + F2, r), dan jalankan Gnome Tweak Tool dan aktifkan ekstensi. Maka Anda harus baik untuk pergi.
EDIT: Satu hal lagi. Jika Anda memiliki lebih dari 6 pintasan khusus dan mengaktifkan ekstensi ini, shell gnome akan meledak. Kode keras ekstensi untuk mendukung 10 pintasan, tetapi hanya mengkompilasi dukungan untuk 6. Untuk menambahkan dukungan untuk jumlah pintasan yang sewenang-wenang, dalam direktori skema edit file org.gnome.shell.extensions.command-keybindings.gschema.xml dan salin / rekatkan lebih banyak ikatan yang mengikat (harus jelas bagaimana melakukan itu- pastikan untuk menambah ikatan- #). Kemudian, di direktori schema jalankan "glib-compile-schemas." Terakhir, dalam file extension.js, cari baris "for (let i = 0; i <10; i ++)" dan ubah 10 menjadi jumlah total binding yang Anda atur. Sekarang Anda harus memiliki dukungan untuk banyak pintasan khusus. Fiuh! Tidak ada yang mengatakan Gnome 3 itu mudah! Oh tunggu...