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

auto merge of #4951 : glennw/servo/set-title, r=jdm

Browse source
This commit is contained in:
bors-servo 2015-02-18 14:42:49 -07:00
commit dc31d96f65
4 changed files with 25 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

13
components/script/dom/htmltitleelement.rs
View file

@ -70,6 +70,19 @@ impl<'a> VirtualMethods for JSRef<'a, HTMLTitleElement> {
Some(htmlelement as &VirtualMethods)
}
fn child_inserted(&self, child: JSRef<Node>) {
match self.super_type() {
Some(ref s) => s.child_inserted(child),
_ => (),
}
let node: JSRef<Node> = NodeCast::from_ref(*self);
if node.is_in_doc() {
let document = node.owner_doc().root();
document.r().send_title_to_compositor();
}
}
fn bind_to_tree(&self, is_in_doc: bool) {
let node: JSRef<Node> = NodeCast::from_ref(*self);
if is_in_doc {