diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-12-22 05:23:00 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-22 05:23:00 -0800 |
| commit | b843be49752c68926521a8b5f6b0405b1ff01e9b (patch) | |
| tree | 5d7c908703aa97e300b27c4d635ca7e35b217d7d | |
| parent | 1b069de6b26db99f8b7964e8542f2b04e78094ce (diff) | |
| parent | 544c2d993a9612f3c451c77145d6b382cb17e6d4 (diff) | |
| download | servo-b843be49752c68926521a8b5f6b0405b1ff01e9b.tar.gz servo-b843be49752c68926521a8b5f6b0405b1ff01e9b.zip | |
Auto merge of #14669 - emilio:dirty-descendants-unused, r=Wafflespeanut
script: Remove unused function.
This is no longer used since one of @bholley's patches to the style system.
<!-- 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/14669)
<!-- Reviewable:end -->
| -rw-r--r-- | components/script/dom/node.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/components/script/dom/node.rs b/components/script/dom/node.rs index 3e2de9bfa8e..6a2ccea832f 100644 --- a/components/script/dom/node.rs +++ b/components/script/dom/node.rs @@ -426,10 +426,6 @@ impl Node { self.get_flag(HAS_DIRTY_DESCENDANTS) } - pub fn set_has_dirty_descendants(&self, state: bool) { - self.set_flag(HAS_DIRTY_DESCENDANTS, state) - } - pub fn rev_version(&self) { // The new version counter is 1 plus the max of the node's current version counter, // its descendants version, and the document's version. Normally, this will just be |