This morning's boot has the pager (desktop switcher) marked as unknown widget. On re-installing the pager it works fine. Reboot and it's again marked as unknown widget.
I would have thought a pager to be essential unless it's been replaced by a some other widget/method.
Anyone else experienced this problem or know of an alternative pager?.