-
Benjamin Otte authored
In commit 2c613166 we avoided emitting the style-changed signal if no CSS property changed. Unfortunately, this also caused CSS styles to not be updated when animations started if those animations did not change any CSS value immediately. In those cases the animation would just never start. The obvious example was the spinner.
eb97ef05