-
Benjamin Otte authored
We want to clear the style property cache whenever things change in the tree, not as we previously did only when those changes actually lead to a different CSS style.
3e5280ae
We want to clear the style property cache whenever things change in the tree, not as we previously did only when those changes actually lead to a different CSS style.