The gala part is done now. For the shortcuts you'd need to get our os defaults to set org.gnome.desktop.wm.keybindings.switch-to-workspace-1,2,3,4...
The gala part is done now. desktop. wm.keybindings. switch- to-workspace- 1,2,3,4. ..
For the shortcuts you'd need to get our os defaults to set org.gnome.