-
Christian Hergert authored
This allows us to animate the bold status of the widget, reducing the jitter in transitioning to the "sunk" position in the header.
6530bbe2
This allows us to animate the bold status of the widget, reducing the jitter in transitioning to the "sunk" position in the header.