mirror of
https://github.com/brl/mutter.git
synced 2025-01-22 01:19:05 +00:00
dc37ee2782
Given that GNOME has used a vertical workspace layout ever since 3.0, allowing users to assign keyboard shortcuts for horizontal workspace navigation isn't useful at all, as rightfully pointed out by Bastien Nocera. https://bugzilla.gnome.org/show_bug.cgi?id=645460