The hotkeys for Workspace Switcher stopped working after yesterday's 14.04 update/upgrade. Any thoughts on how to get this working again?
I already have reviewed other similar posts concerning configuration. This post is not a duplicate of Ubuntu 14.04 workspace switch hotkeys because (a) the Desktop Wall plugin is enabled in Compiz; and (b) the hotkeys worked before yesterday's update/upgrade.
Appearance > Behavior > Enable Workspaces is on.
System Settings > Keyboard > Shortcuts > Navigation has the standard "Switch to workspace" shortcuts specified.
I launched CompizConfig Settings Manager and saw nothing amiss.
I also can launch the Workspace Switcher from the icon and move among workspaces with the mouse and cursor keys. The problem is simply getting the hotkeys to resume working.
