mirror of
https://github.com/servo/servo
synced 2026-05-14 02:47:14 +02:00
It's important to check the media player's `paused` state to avoid unnecessary changes to its internal state (via `play`, `pause`), including configuration the `playback rate` and `volume` properties. Depends on https://github.com/servo/media/pull/467 Testing: The expected test results are unchanged because it is the implicit performance improvements of the media stack, with the exception of the following test, which is affected by the `playback rate` state caching mechanism (the `seek` position is not overridden for default playback rate (1.0)). - html/semantics/embedded-content/media-elements/preserves-pitch.html See https://gitlab.freedesktop.org/gstreamer/gstreamer/-/issues/4762 Signed-off-by: Andrei Volykhin <andrei.volykhin@gmail.com>