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

Use push_str instead of operator + for efficiency.

Browse source
This commit is contained in:
Ms2ger 2014-02-16 10:25:12 +01:00
parent e45b7fa22d
commit 6681476713
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -341,7 +341,7 @@ impl Document {
for child in node.children() {
if child.is_text() {
child.with_imm_text(|text| {
title = title + text.characterdata.Data();
title.push_str(text.characterdata.data.as_slice());
});
}
}