Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-21 07:38:59 +01:00
Code Issues Projects Releases Packages Wiki Activity

Ensure that it's safe to modify the DOM node pointers before doing so. Fixes #1224.

Browse source
This commit is contained in:
Josh Matthews 2013-11-14 03:54:19 +09:00
parent 7dbabdd9e4
commit f9f9c42ab7
3 changed files with 20 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/components/script/dom/document.rs
View file

@ -274,7 +274,7 @@ impl Document {
}
has_title = true;
for title_child in child.children() {
child.remove_child(title_child);
child.RemoveChild(title_child);
}
child.AppendChild(self.CreateTextNode(abstract_self, title.clone()));
break;