![Florian Müllner](/assets/img/avatar_default.png)
As some keybindings are now provided by gnome-shell rather than mutter, it makes sense to expose those in System Settings. https://bugzilla.gnome.org/show_bug.cgi?id=671010
As some keybindings are now provided by gnome-shell rather than mutter, it makes sense to expose those in System Settings. https://bugzilla.gnome.org/show_bug.cgi?id=671010