Add keyboard shortcuts to switch to workspaces past 4
Feature summary
Those shortcuts already exist, but it is only possible to set them using dconf.
We need to add shortcuts for switch-to-workspace-{5-12}
and move-to-workspace-{5-12}
to /data/50-mutter-navigation.xml
, so that they can be set from gnome-control-center
Relevant links, screenshots, screencasts etc.
After 9-th shortcut, they start being sorted improperly in gnome-control-center
:
but I don't think it is a good reason for stopping at only 9, because a lot of users will want to bind at least 10.