diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2015-07-31 12:46:36 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2015-08-03 23:05:00 -0400 |
| commit | 8620fe599538effe755029e895fca6b9ca3b0f47 (patch) | |
| tree | b7e1661271c4e358a7d003cf0b4837196ad198d0 /components/script/dom/htmlmediaelement.rs | |
| parent | c2497fcd49933f3782d529b891f4c8bb5de198c4 (diff) | |
| download | servo-8620fe599538effe755029e895fca6b9ca3b0f47.tar.gz servo-8620fe599538effe755029e895fca6b9ca3b0f47.zip | |
Start reporting memory usage for Window and all nodes in all DOM trees for frame treese in script tasks.
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index b0b3ae9c6e9..847132c6452 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -41,7 +41,7 @@ impl HTMLMediaElement { } } -#[derive(JSTraceable, Copy, Clone, Debug)] +#[derive(JSTraceable, Copy, Clone, Debug, HeapSizeOf)] pub enum HTMLMediaElementTypeId { HTMLAudioElement = 0, HTMLVideoElement = 1, |