First, are you sure you are seeing the “press” effect, and not the “rollover” effect? If the button is changing like it is pressed, you will see it move down and to the right a bit, but remain the same color. That is indeed incorrect behavior. But if you are seeing the rollover effect, the button will brighten a bit, which is intended behavior.
If what you are seeing is the press effect, then it means the button thinks you are holding down the mouse button for some reason. I don’t know why. How did you create the button in the first place–was it in response to a mouse click? Maybe if you created it at the time the mouse button was clicking you get this problem?
When I paste in the above code, I don’t see a problem.
Hmm, it might be worth trying it again with the buildbot version (instead of 1.7.2), to see if this is an issue that might have been fixed since 1.7.2.