diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-11-09 08:25:25 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-09 08:25:25 -0600 |
| commit | 20ccde9a75e52f3dc7adccf0136f5753deb41158 (patch) | |
| tree | a839601a73ffe2a487246cfeca32481d01c73d2f /components/script/dom/htmlelement.rs | |
| parent | e7a654dd13f589e127193267bcb576ffd661c11d (diff) | |
| parent | 57121a2e15dae6a306dc1d276fdfb7b6051ed8b2 (diff) | |
| download | servo-20ccde9a75e52f3dc7adccf0136f5753deb41158.tar.gz servo-20ccde9a75e52f3dc7adccf0136f5753deb41158.zip | |
Auto merge of #19163 - emilio:useless-opt, r=nox
style: Remove the skip_applying_damage "optimization".
We already remove all change hints down the tree when finding a reframe hint
using ClearServoRestyleFromSubtree in ServoRestyleManager, so this is useless.
MozReview-Commit-ID: 1twx7iPt79x
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19163)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlelement.rs')
0 files changed, 0 insertions, 0 deletions