Hi, Does anyone know how to set keyboard shortcuts for more than 4 workspaces? If I goto settings -> devices -> keyboard I see "Switch to workspace {1-4}" I have virtual workspaces configured for 12. I would like to set keyboard shortcuts for all 12 workspaces. Google shows numerous solutions for ubuntu but I cannot get any of them to work on Centos 7 with gnome 3. Regards, -- Tom me at tdiehl.org