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

Use HTMLTitleElement::new in Document::SetTitle.

Browse source
This commit is contained in:
Ms2ger 2013-11-02 20:32:25 +01:00
parent 375af8d437
commit e918d4daf0
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -12,7 +12,6 @@ use dom::element::{Element};
use dom::element::{HTMLHeadElementTypeId, HTMLTitleElementTypeId}; use dom::element::{HTMLHeadElementTypeId, HTMLTitleElementTypeId};
use dom::htmlcollection::HTMLCollection; use dom::htmlcollection::HTMLCollection;
use dom::htmldocument::HTMLDocument; use dom::htmldocument::HTMLDocument;
use dom::htmlelement::HTMLElement;
use dom::node::{AbstractNode, ScriptView, Node, ElementNodeTypeId, DocumentNodeTypeId}; use dom::node::{AbstractNode, ScriptView, Node, ElementNodeTypeId, DocumentNodeTypeId};
use dom::text::Text; use dom::text::Text;
use dom::window::Window; use dom::window::Window;
@ -323,12 +322,7 @@ impl Document {
break; break;
} }
if !has_title { if !has_title {
let new_title = @HTMLTitleElement { let new_title = HTMLTitleElement::new(~"title", abstract_self);
htmlelement: HTMLElement::new(HTMLTitleElementTypeId, ~"title", abstract_self)
};
let new_title = unsafe {
Node::as_abstract_node(self.get_cx(), new_title)
};
new_title.AppendChild(self.CreateTextNode(abstract_self, title)); new_title.AppendChild(self.CreateTextNode(abstract_self, title));
node.AppendChild(new_title); node.AppendChild(new_title);
} }