Solution is found here:
https://askubuntu.com/questions/819585/workplace-switcher-stopped-working-in-ubuntu-16-04
Activating Desktop wall in ccsm solves the issue.
I still think that a feature ceasing to work silently is a bug.
Solution is found here:
https:/ /askubuntu. com/questions/ 819585/ workplace- switcher- stopped- working- in-ubuntu- 16-04
Activating Desktop wall in ccsm solves the issue.
I still think that a feature ceasing to work silently is a bug.