Hallo all, is it possible to assign keyboard shortcuts for more than 9 workspaces? E.g. Control-F10 for Workspace10. -- Armin Wenz