diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-01-04 12:12:48 -0700 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-01-04 12:12:48 -0700 |
commit | 2e17cae5d080db72d5f89733d19e0304857cfd34 (patch) | |
tree | efa94bd87003d881a6f84110e1639b7abfbf57f5 /components/script/dom/htmlvideoelement.rs | |
parent | 076e28795d90a9a8bb523774b993f841602ae9e6 (diff) | |
parent | 50310968536c615f1331f3dc8b2b1352230816ee (diff) | |
download | servo-2e17cae5d080db72d5f89733d19e0304857cfd34.tar.gz servo-2e17cae5d080db72d5f89733d19e0304857cfd34.zip |
auto merge of #4495 : MeghaGupta/servo/typeid, r=Ms2ger
Diffstat (limited to 'components/script/dom/htmlvideoelement.rs')
-rw-r--r-- | components/script/dom/htmlvideoelement.rs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/components/script/dom/htmlvideoelement.rs b/components/script/dom/htmlvideoelement.rs index 769c695b5a6..5bda0fdbf08 100644 --- a/components/script/dom/htmlvideoelement.rs +++ b/components/script/dom/htmlvideoelement.rs @@ -8,7 +8,8 @@ use dom::bindings::js::{JSRef, Temporary}; use dom::document::Document; use dom::element::ElementTypeId; use dom::eventtarget::{EventTarget, EventTargetTypeId}; -use dom::htmlmediaelement::HTMLMediaElement; +use dom::htmlelement::HTMLElementTypeId; +use dom::htmlmediaelement::{HTMLMediaElement, HTMLMediaElementTypeId}; use dom::node::{Node, NodeTypeId}; use servo_util::str::DOMString; @@ -19,14 +20,17 @@ pub struct HTMLVideoElement { impl HTMLVideoElementDerived for EventTarget { fn is_htmlvideoelement(&self) -> bool { - *self.type_id() == EventTargetTypeId::Node(NodeTypeId::Element(ElementTypeId::HTMLVideoElement)) + *self.type_id() == EventTargetTypeId::Node(NodeTypeId::Element( + ElementTypeId::HTMLElement( + HTMLElementTypeId::HTMLMediaElement( + HTMLMediaElementTypeId::HTMLVideoElement)))) } } impl HTMLVideoElement { fn new_inherited(localName: DOMString, prefix: Option<DOMString>, document: JSRef<Document>) -> HTMLVideoElement { HTMLVideoElement { - htmlmediaelement: HTMLMediaElement::new_inherited(ElementTypeId::HTMLVideoElement, localName, prefix, document) + htmlmediaelement: HTMLMediaElement::new_inherited(HTMLMediaElementTypeId::HTMLVideoElement, localName, prefix, document) } } |