Dieser Gnome-Shell-Fehlerbericht beschreibt sowohl das Problem mit Super + Key-Verknüpfungen als auch eine hackige Problemumgehung (die das Problem für mich vollständig behebt!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
Grundsätzlich besteht das Problem darin, dass benutzerdefinierte Verknüpfungen vom gnome-settings-daemon verarbeitet werden, der den Super-Schlüssel nicht richtig aufnimmt. Der Fenstermanager (in diesem Fall murmeln) kann die Super-Taste sehen. Also hat Olivier Crete eine Erweiterung geschrieben, die Ihre benutzerdefinierten Verknüpfungsdefinitionen liest und sie an das Murmeln weitergibt. Ich habe die Erweiterung installiert und sie funktioniert hervorragend für mich. Kein Drücken einer doppelten Taste erforderlich, wie dies bei einigen der vorherigen Kommentatoren der Fall war.
Die Erweiterung befindet sich nicht auf der offiziellen Gnome-Erweiterungsseite, da sie abgelehnt wurde (Sie können die lustigen Rezensionen hier lesen: https://extensions.gnome.org/review/1658 ... anscheinend haben die Rezensenten Probleme mit dem Leseverständnis! ). Sie können die Erweiterung jedoch über Kommentar 33 im Fehlerbericht herunterladen.
Entpacken Sie die Datei in Ihr Verzeichnis ~ / .local / share / gnome-shell / extensions, starten Sie gnome-shell (Alt + F2, r) neu, starten Sie das Gnome Tweak Tool und aktivieren Sie die Erweiterung. Sie sollten dann gut zu gehen sein.
EDIT: Noch eine Sache. Wenn Sie mehr als 6 benutzerdefinierte Verknüpfungen haben und diese Erweiterung aktivieren, explodiert die Gnome-Shell. Die Erweiterungs-Hardcodes unterstützen 10 Verknüpfungen, kompilieren jedoch nur 6. Um die Unterstützung für eine beliebige Anzahl von Verknüpfungen hinzuzufügen, bearbeiten Sie im Verzeichnis "Schemas" die Datei "org.gnome.shell.extensions.command-keybindings.gschema.xml" und Kopieren / Einfügen mehr Bindung erfordert (es sollte selbstverständlich sein, wie das geht - stellen Sie einfach sicher, dass Sie die Bindung erhöhen #). Führen Sie dann im Schema-Verzeichnis "glib-compile-schemas" aus. Suchen Sie schließlich in der Datei extension.js die Zeile "for (let i = 0; i <10; i ++)" und ändern Sie 10 in die Anzahl der von Ihnen festgelegten Gesamtbindungen. Jetzt sollten Sie Unterstützung für viele weitere benutzerdefinierte Verknüpfungen haben. Puh! Niemand sagte, Gnome 3 sei einfach! Oh, Moment mal...