diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-01-07 12:07:32 -0800 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-01-07 12:07:32 -0800 |
| commit | a910e4ee8d2f5d64247849624ef54df8ea85fd5d (patch) | |
| tree | c35a30572cb7abe01fa5ac0d4884e9cfe7134d0b /src/components/script/dom/htmldocument.rs | |
| parent | 608ee006abf1c67f438fb8504ec28b4ab08dfde9 (diff) | |
| parent | 17b35d52fff79f56b3aa734a1bb3924780e8fb04 (diff) | |
| download | servo-a910e4ee8d2f5d64247849624ef54df8ea85fd5d.tar.gz servo-a910e4ee8d2f5d64247849624ef54df8ea85fd5d.zip | |
auto merge of #1466 : brunoabinader/servo/document-head, r=kmcallister
Implementation details according to the specification below:
http://www.whatwg.org/specs/web-apps/current-work/#dom-document-head
This patch is for:
https://github.com/mozilla/servo/issues/1465
Closes #1465.
Diffstat (limited to 'src/components/script/dom/htmldocument.rs')
| -rw-r--r-- | src/components/script/dom/htmldocument.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/components/script/dom/htmldocument.rs b/src/components/script/dom/htmldocument.rs index 8e92a4b41db..57a5c96b7bd 100644 --- a/src/components/script/dom/htmldocument.rs +++ b/src/components/script/dom/htmldocument.rs @@ -34,12 +34,11 @@ impl HTMLDocument { impl HTMLDocument { pub fn GetHead(&self) -> Option<AbstractNode> { - match self.parent.GetDocumentElement() { - None => None, - Some(root) => root.traverse_preorder().find(|child| { + self.parent.GetDocumentElement().and_then(|root| { + root.traverse_preorder().find(|child| { child.type_id() == ElementNodeTypeId(HTMLHeadElementTypeId) }) - } + }) } pub fn Images(&self) -> @mut HTMLCollection { |