Comment 7 for bug 642746

Something very strange: sometimes Maverick locks up for me. I turn off the machine, reboot, log in, and then my workspace switcher is back to normal. Then after the next lockup, I have to reboot again, and then it's broken again.

This smells of nondeterminism: something like a garbage pointer, array overrun, or race condition.