The little rubber covering on the wheel on my Microsoft Mouse has apparently given up the ghost after yesterday's marathon layout session. I've never seen that happen before. A new mouse is on order...