diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-10-07 10:31:52 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-11-20 13:32:38 +0100 |
commit | ec7a4bf32d355f2f115da016ac6aebb034493f47 (patch) | |
tree | 1442db5b55bbe4311fa0595639493fba33fd7160 /components/script_traits | |
parent | fa61191405a6e165ede14910eeb98b1398794e22 (diff) | |
download | servo-ec7a4bf32d355f2f115da016ac6aebb034493f47.tar.gz servo-ec7a4bf32d355f2f115da016ac6aebb034493f47.zip |
MediaSession: update action handler algorithm
Diffstat (limited to 'components/script_traits')
-rw-r--r-- | components/script_traits/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script_traits/lib.rs b/components/script_traits/lib.rs index 4bfa594688a..b4b85889ea0 100644 --- a/components/script_traits/lib.rs +++ b/components/script_traits/lib.rs @@ -1061,7 +1061,7 @@ pub enum MessagePortMsg { /// The type of MediaSession action. /// https://w3c.github.io/mediasession/#enumdef-mediasessionaction -#[derive(Clone, Debug, Deserialize, Serialize)] +#[derive(Clone, Debug, Deserialize, Eq, Hash, MallocSizeOf, PartialEq, Serialize)] pub enum MediaSessionActionType { /// The action intent is to resume playback. Play, |