I was attempting to mess with the style of a Button, and noticed that my changes were making the button look strange. To make sure I was doing the right thing, I tried doing what I thought would be semantically a no-op:
button.set_style(button.get_style())
However, the button style changes dramatically after this line. I'm on Windows 7. Without this line, it looks like a regular windows 7 button - rounded, nice gradient, light-blue on highlight, etc. After the line, it looks like an ugly old Windows XP button - blocky, no gradient, and lightly colored on highlight. What gives?