Re: problem with more than 8 workspaces in keyboard shortcuts