User switching broken

[Patrick O'Callaghan]

On Fri, 2015-02-20 at 16:51 +0000, Patrick O'Callaghan wrote:
> * The task switcher is present but greyed out, though it still works,
> including the multiple desktops.
> 
> * The Launcher (K menu) has gone.

I should have said that the panel is greyed out and the Launcher widget
has gone. I managed to restore it after a good deal of struggle (this
kind of thing is harder to do than the designers may think). IOW it
looks like the window manager was dead.

poc