+8

src/Applications/UI.elm

reviewed

··· 257 257 NoteProgress a -> 258 258 Audio.noteProgress a 259 259 260 260 + Pause -> 261 261 + Audio.pause 262 262 + 263 263 + Play -> 264 264 + Audio.play 265 265 + 260 266 Seek a -> 261 267 Audio.seek a 262 268 ··· 520 526 -- Audio 521 527 ----------------------------------------- 522 528 , Ports.noteProgress NoteProgress 529 529 + , Ports.requestPause (always Pause) 530 530 + , Ports.requestPlay (always Play) 523 531 , Ports.requestPlayPause (always TogglePlay) 524 532 , Ports.requestStop (always Stop) 525 533 , Ports.setAudioDuration SetAudioDuration

+14

src/Applications/UI/Audio/State.elm

reviewed

··· 35 35 Return.singleton model 36 36 37 37 38 38 + pause : Manager 39 39 + pause model = 40 40 + return model (Ports.pause ()) 41 41 + 42 42 + 38 43 playPause : Manager 39 44 playPause model = 40 45 if Maybe.isNothing model.nowPlaying then ··· 45 50 46 51 else 47 52 communicate (Ports.play ()) model 53 53 + 54 54 + 55 55 + play : Manager 56 56 + play model = 57 57 + if Maybe.isNothing model.nowPlaying then 58 58 + Queue.shift model 59 59 + 60 60 + else 61 61 + return model (Ports.play ()) 48 62 49 63 50 64 seek : Float -> Manager

+6

src/Applications/UI/Ports.elm

reviewed

··· 70 70 port requestNext : (() -> msg) -> Sub msg 71 71 72 72 73 73 + port requestPause : (() -> msg) -> Sub msg 74 74 + 75 75 + 76 76 + port requestPlay : (() -> msg) -> Sub msg 77 77 + 78 78 + 73 79 port requestPlayPause : (() -> msg) -> Sub msg 74 80 75 81

+2

src/Applications/UI/Types.elm

reviewed

··· 195 195 -- Audio 196 196 ----------------------------------------- 197 197 | NoteProgress { trackId : String, progress : Float } 198 198 + | Pause 199 199 + | Play 198 200 | Seek Float 199 201 | SetAudioDuration Float 200 202 | SetAudioHasStalled Bool

+2 -2

src/Javascript/index.js

reviewed

··· 539 539 if ("mediaSession" in navigator) { 540 540 541 541 navigator.mediaSession.setActionHandler("play", () => { 542 542 - app.ports.requestPlayPause.send(null) 542 542 + app.ports.requestPlay.send(null) 543 543 }) 544 544 545 545 546 546 navigator.mediaSession.setActionHandler("pause", () => { 547 547 - app.ports.requestPlayPause.send(null) 547 547 + app.ports.requestPause.send(null) 548 548 }) 549 549 550 550