Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

MediaSession: refactor embedder API. Fix Android build

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2019-10-09 18:06:27 +02:00
parent 89d9e3ad78
commit 7ca74d598c
5 changed files with 65 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/embedder_traits/lib.rs
View file

@ -219,10 +219,11 @@ pub struct MediaMetadata {
}
/// https://w3c.github.io/mediasession/#enumdef-mediasessionplaybackstate
#[repr(i32)]
#[derive(Clone, Debug, Deserialize, Serialize)]
pub enum MediaSessionPlaybackState {
/// The browsing context does not specify whether it’s playing or paused.
None_,
None_ = 1,
/// The browsing context has paused media and it can be resumed.
Playing,
/// The browsing context is currently playing media and it can be paused.