With attention on the play button I noticed that it does not stay down whilst audio is playing, unlike record button.  Seems wrong to me, but it's been this way for a long time.

I changed it so it does stay down now, r12443. Asking here though, just in case most people think the old behaviour was better??