diff options
| author | David Winslow <cdwinslow@gmail.com> | 2015-07-01 16:31:07 -0400 |
|---|---|---|
| committer | David Winslow <cdwinslow@gmail.com> | 2015-07-01 18:27:06 -0400 |
| commit | 4cf46bff2d00f33a8866dc6880c8f6178fdf81a4 (patch) | |
| tree | bfa5da23abf5d88edd40c26486e34b0cf40383d9 /components/script/dom/htmlmediaelement.rs | |
| parent | e958d92be6c35234bcffce2d4e74ece585de02e4 (diff) | |
| download | servo-4cf46bff2d00f33a8866dc6880c8f6178fdf81a4.tar.gz servo-4cf46bff2d00f33a8866dc6880c8f6178fdf81a4.zip | |
Refactor #[jstraceable] to #[derive(JSTraceable)]
fixes #6524
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 40700c69629..b0b3ae9c6e9 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -41,8 +41,7 @@ impl HTMLMediaElement { } } -#[derive(Copy, Clone, Debug)] -#[jstraceable] +#[derive(JSTraceable, Copy, Clone, Debug)] pub enum HTMLMediaElementTypeId { HTMLAudioElement = 0, HTMLVideoElement = 1, |