PL4 - can't (de)activate tools on palettes

This may be a temporary glitch and, so far, I can’t reproduce it but…

All of a sudden, the blue checkboxes on the palettes stopped responding to clicks, but the tools still continue to respond correctly.

Restarting PL4 fixed it but it was definitely weird. I’m just sorry but I haven’t a clue what triggered it.