Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

script: Remove unused function.

Browse source
This commit is contained in:
Emilio Cobos Álvarez 2016-12-22 13:31:39 +01:00
parent 0aa1fc5efe
commit 544c2d993a
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/node.rs
View file

@ -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