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

Auto merge of #6815 - nick-thompson:dispose_layout_data, r=jdm

Browse source 
Dispose layout data for every node removed from the tree

Fix for #6754.

cc @jdm – I believe this is all that's required for the fix, but until I get a better sense of #6813, I'm unsure of the best way to test this.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6815)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-07-29 16:24:46 -06:00
commit 8b7120012a
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -370,8 +370,9 @@ impl<'a> PrivateNodeHelpers for &'a Node {
for node in child.traverse_preorder() { for node in child.traverse_preorder() {
node.set_flag(IS_IN_DOC, false); node.set_flag(IS_IN_DOC, false);
vtable_for(&&*node).unbind_from_tree(parent_in_doc); vtable_for(&&*node).unbind_from_tree(parent_in_doc);
node.layout_data.dispose(&node);
} }
child.layout_data.dispose(child);
let document = child.owner_doc(); let document = child.owner_doc();
document.content_and_heritage_changed(child, NodeDamage::OtherNodeDamage); document.content_and_heritage_changed(child, NodeDamage::OtherNodeDamage);
} }